From bb68d0b7f60c4dc6bf57b85d7c4e3c510df458cf Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 25 Jul 2012 12:42:25 -0700
Subject: Removed unused files from the project.

---
 src/proof/cec/cec.c       | 2 +-
 src/proof/cec/module.make | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/proof/cec')

diff --git a/src/proof/cec/cec.c b/src/proof/cec/cec.c
index 6968a599..637277ed 100644
--- a/src/proof/cec/cec.c
+++ b/src/proof/cec/cec.c
@@ -1,4 +1,4 @@
-/**CFile****************************************************************
+**CFile****************************************************************
 
   FileName    [cec.c]
 
diff --git a/src/proof/cec/module.make b/src/proof/cec/module.make
index bac6e9bc..1f8189a5 100644
--- a/src/proof/cec/module.make
+++ b/src/proof/cec/module.make
@@ -7,7 +7,6 @@ SRC +=    src/proof/cec/cecCec.c \
     src/proof/cec/cecMan.c \
     src/proof/cec/cecPat.c \
     src/proof/cec/cecSeq.c \
-    src/proof/cec/cecSim.c \
     src/proof/cec/cecSolve.c \
     src/proof/cec/cecSynth.c \
     src/proof/cec/cecSweep.c
-- 
cgit v1.2.3