From e44f409c1d798d2c663e75e8349c28cad7fe4b82 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 21 Dec 2020 13:23:53 -0800
Subject: Integrating Glucose into &sat.

---
 src/sat/glucose2/Glucose2.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/sat/glucose2')

diff --git a/src/sat/glucose2/Glucose2.cpp b/src/sat/glucose2/Glucose2.cpp
index 07525474..e7e3862b 100644
--- a/src/sat/glucose2/Glucose2.cpp
+++ b/src/sat/glucose2/Glucose2.cpp
@@ -175,6 +175,7 @@ Solver::Solver() :
   }
 
   #ifdef CGLUCOSE_EXP
+  jftr = 0;
   travId = 0;
   travId_prev = 0;
 
-- 
cgit v1.2.3