diff options
Diffstat (limited to 'src/aig/saig/module.make')
-rw-r--r-- | src/aig/saig/module.make | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/aig/saig/module.make b/src/aig/saig/module.make index b09091fb..c3c0a1b6 100644 --- a/src/aig/saig/module.make +++ b/src/aig/saig/module.make @@ -1,8 +1,10 @@ -SRC += src/aig/saig/saigBmc.c \ +SRC += src/aig/saig/saigAbs.c \ + src/aig/saig/saigBmc.c \ src/aig/saig/saigCone.c \ src/aig/saig/saigDup.c \ src/aig/saig/saigHaig.c \ src/aig/saig/saigIoa.c \ + src/aig/saig/saigLoc.c \ src/aig/saig/saigMiter.c \ src/aig/saig/saigPhase.c \ src/aig/saig/saigRetFwd.c \ |