From 7984628d7fca465052ba71f330ded0e89969d05f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 10 Jan 2016 21:06:04 -0800
Subject: Experiments with SAT-based mapping.

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

(limited to 'src/base')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 1b2e1e2c..07b17f8a 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -22090,6 +22090,7 @@ int Abc_CommandDSat( Abc_Frame_t * pAbc, int argc, char ** argv )
     fAndOuts   = 0;
     fNewSolver = 0;
     fSilent    = 0;
+    fShowPattern = 0;
     fVerbose   = 0;
     nConfLimit = 0;
     nInsLimit  = 0;
-- 
cgit v1.2.3