diff options
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/aig/module.make | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/aig/aig/module.make b/src/aig/aig/module.make index aaf5bf6d..c291433f 100644 --- a/src/aig/aig/module.make +++ b/src/aig/aig/module.make @@ -17,7 +17,6 @@ SRC += src/aig/aig/aigCheck.c \ src/aig/aig/aigPart.c \ src/aig/aig/aigPartReg.c \ src/aig/aig/aigPartSat.c \ - src/aig/aig/aigRepar.c \ src/aig/aig/aigRepr.c \ src/aig/aig/aigRet.c \ src/aig/aig/aigRetF.c \ |