summaryrefslogtreecommitdiffstats
path: root/src/aig/ssw/module.make
diff options
context:
space:
mode:
Diffstat (limited to 'src/aig/ssw/module.make')
-rw-r--r--src/aig/ssw/module.make2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/ssw/module.make b/src/aig/ssw/module.make
index 1e79c955..9d93fb93 100644
--- a/src/aig/ssw/module.make
+++ b/src/aig/ssw/module.make
@@ -2,8 +2,10 @@ SRC += src/aig/ssw/sswAig.c \
src/aig/ssw/sswBmc.c \
src/aig/ssw/sswClass.c \
src/aig/ssw/sswCnf.c \
+ src/aig/ssw/sswConstr.c \
src/aig/ssw/sswCore.c \
src/aig/ssw/sswDyn.c \
+ src/aig/ssw/sswFilter.c \
src/aig/ssw/sswIslands.c \
src/aig/ssw/sswLcorr.c \
src/aig/ssw/sswMan.c \