From 80551de3c5ce5ca32ef00c6cd69d7135940b1c1c Mon Sep 17 00:00:00 2001
From: Mathias Soeken <mathias.soeken@epfl.ch>
Date: Mon, 8 Aug 2016 18:52:11 +0200
Subject: Small change in exact synthesis.

---
 src/base/abci/abcExact.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/abci/abcExact.c')

diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c
index b546ea08..b3d9a53d 100644
--- a/src/base/abci/abcExact.c
+++ b/src/base/abci/abcExact.c
@@ -485,7 +485,7 @@ static inline Ses_Man_t * Ses_ManAlloc( word * pTruth, int nVars, int nFunc, int
     p->fVerbose        = fVerbose;
     p->fVeryVerbose    = 0;
     p->fExtractVerbose = 0;
-    p->fSatVerbose     = 1;
+    p->fSatVerbose     = 0;
 
     return p;
 }
-- 
cgit v1.2.3