From 5585ce8aa647d0a6fcb2be2517a691ed949de85e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 18 Sep 2017 09:37:20 -0700
Subject: Enabling Glucose in SAT sweeping: &fraig -g.

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

diff --git a/src/proof/cec/module.make b/src/proof/cec/module.make
index 38106e5e..86ec2677 100644
--- a/src/proof/cec/module.make
+++ b/src/proof/cec/module.make
@@ -7,6 +7,7 @@ SRC +=    src/proof/cec/cecCec.c \
     src/proof/cec/cecMan.c \
     src/proof/cec/cecPat.c \
     src/proof/cec/cecSat.c \
+    src/proof/cec/cecSatG.c \
     src/proof/cec/cecSeq.c \
     src/proof/cec/cecSolve.c \
     src/proof/cec/cecSplit.c \
-- 
cgit v1.2.3