summaryrefslogtreecommitdiffstats
path: root/src/sat
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2008-03-07 20:01:00 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2008-03-07 20:01:00 -0800
commitd5495ad3266e5747d4de74b409367f7b501f87f6 (patch)
tree872d78dd4127d4d92ccc1e996ad969ca17be0bd6 /src/sat
parent8eeecc517568a1bd2a6f8379f81303a7c7c57d1b (diff)
downloadabc-d5495ad3266e5747d4de74b409367f7b501f87f6.tar.gz
abc-d5495ad3266e5747d4de74b409367f7b501f87f6.tar.bz2
abc-d5495ad3266e5747d4de74b409367f7b501f87f6.zip
Version abc80307_2
Diffstat (limited to 'src/sat')
-rw-r--r--src/sat/bsat/module.make1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/bsat/module.make b/src/sat/bsat/module.make
index 1e52cc0a..f6805600 100644
--- a/src/sat/bsat/module.make
+++ b/src/sat/bsat/module.make
@@ -1,6 +1,7 @@
SRC += src/sat/bsat/satMem.c \
src/sat/bsat/satInter.c \
src/sat/bsat/satInterA.c \
+ src/sat/bsat/satInterP.c \
src/sat/bsat/satSolver.c \
src/sat/bsat/satStore.c \
src/sat/bsat/satTrace.c \