From 67050333b25c6e10a31fcd11138f9ab3ec26cff5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 2 Jun 2014 09:56:37 -0700
Subject: Adding CEC command &splitprove.

---
 src/proof/cec/module.make | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/proof/cec/module.make')

diff --git a/src/proof/cec/module.make b/src/proof/cec/module.make
index 1f8189a5..82e0de74 100644
--- 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
-- 
cgit v1.2.3