Adding new file to the build file.

6b2da397 · Alan Mishchenko · 1b95ee06 · 6b2da397
Commit 6b2da397 authored Jul 17, 2012 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/base/abci/module.make
+1 -0

No files found.
--- a/src/base/abci/module.make
+++ b/src/base/abci/module.make
@@ -43,6 +43,7 @@ SRC +=    src/base/abci/abc.c \
    src/base/abci/abcQbf.c \
    src/base/abci/abcQuant.c \
    src/base/abci/abcRec.c \
+    src/base/abci/abcRec2.c \
    src/base/abci/abcReconv.c \
    src/base/abci/abcReach.c \
    src/base/abci/abcRefactor.c \