Adding CEC command &splitprove.

67050333 · Alan Mishchenko · e69854f5 · 67050333
Commit 67050333 authored Jun 02, 2014 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/proof/cec/module.make
+1 -0

No files found.
--- a/src/proof/cec/module.make
+++ b/src/proof/cec/module.make
@@ -8,5 +8,6 @@ SRC +=    src/proof/cec/cecCec.c \
    src/proof/cec/cecPat.c \
    src/proof/cec/cecSeq.c \
    src/proof/cec/cecSolve.c \
+    src/proof/cec/cecSplit.c \
    src/proof/cec/cecSynth.c \
    src/proof/cec/cecSweep.c