diff options
Diffstat (limited to 'src/aig/int/module.make')
-rw-r--r-- | src/aig/int/module.make | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/aig/int/module.make b/src/aig/int/module.make deleted file mode 100644 index 8e0e4319..00000000 --- a/src/aig/int/module.make +++ /dev/null @@ -1,11 +0,0 @@ -SRC += src/aig/int/intCheck.c \ - src/aig/int/intContain.c \ - src/aig/int/intCore.c \ - src/aig/int/intCtrex.c \ - src/aig/int/intDup.c \ - src/aig/int/intFrames.c \ - src/aig/int/intInter.c \ - src/aig/int/intM114.c \ - src/aig/int/intM114p.c \ - src/aig/int/intMan.c \ - src/aig/int/intUtil.c |