From 4cbc97a464d6406ed908e24477dfe0e172d48d5c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 7 Sep 2017 19:57:29 -0700
Subject: Compiler warnings.

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

(limited to 'src')

diff --git a/src/sat/glucose/Glucose.cpp b/src/sat/glucose/Glucose.cpp
index 6301a0f8..e90bf402 100644
--- a/src/sat/glucose/Glucose.cpp
+++ b/src/sat/glucose/Glucose.cpp
@@ -93,11 +93,11 @@ Solver::Solver() :
     , pCnfFunc(NULL)
     , nCallConfl(1000)
     , terminate_search_early(false)
-    , verbEveryConflicts(10000)
     , pstop(NULL)
     , nRuntimeLimit(0)
 
     , verbosity      (0)
+    , verbEveryConflicts(10000)
     , showModel      (0)
     , K              (opt_K)
     , R              (opt_R)
-- 
cgit v1.2.3