From 16a9c21c80e09c12be76c5e32a095d4ef0bfb7e7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 6 Sep 2017 16:36:54 -0700
Subject: Adding Glucose 3.0 as a separate package.

---
 src/sat/glucose/AbcGlucoseCmd.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/sat/glucose/AbcGlucoseCmd.cpp b/src/sat/glucose/AbcGlucoseCmd.cpp
index 23037a3a..80fdb77f 100644
--- a/src/sat/glucose/AbcGlucoseCmd.cpp
+++ b/src/sat/glucose/AbcGlucoseCmd.cpp
@@ -80,6 +80,7 @@ int Abc_CommandGlucose( Abc_Frame_t * pAbc, int argc, char ** argv )
     int verb = 0;
     int nConfls = 0;
 
+    ExtSat_Pars pPars;
     Extra_UtilGetoptReset();
     while ( ( c = Extra_UtilGetopt( argc, argv, "Cpvh" ) ) != EOF )
     {
@@ -109,7 +110,7 @@ int Abc_CommandGlucose( Abc_Frame_t * pAbc, int argc, char ** argv )
         }
     }
 
-    ExtSat_Pars pPars = ExtSat_CreatePars(pre,verb,0,nConfls);
+    pPars = ExtSat_CreatePars(pre,verb,0,nConfls);
 
     if ( argc == globalUtilOptind + 1 )
     {
-- 
cgit v1.2.3