From 68b59b8a1e09722cd71490c91904d5c3104535fa Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 6 Sep 2017 20:55:16 -0700
Subject: Bug fix: forgot to init the runtime limit in Glucose.

---
 src/sat/glucose/Glucose.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sat/glucose/Glucose.cpp b/src/sat/glucose/Glucose.cpp
index a66c323c..b3df0c82 100644
--- a/src/sat/glucose/Glucose.cpp
+++ b/src/sat/glucose/Glucose.cpp
@@ -95,6 +95,7 @@ Solver::Solver() :
     , verbEveryConflicts(10000)
     , terminate_search_early(false)
     , pstop(NULL)
+    , nRuntimeLimit(0)
 
     , verbosity      (0)
     , showModel      (0)
-- 
cgit v1.2.3