From 0168ec9f128246d1a6a0a34f7ee59aec109b7782 Mon Sep 17 00:00:00 2001
From: Clark Barrett <barrett@cs.nyu.edu>
Date: Fri, 27 Apr 2012 19:26:01 +0000
Subject: Fixed warning in decision_engine.h, minor tweak to caregraph function
 in arrays, fixed bug with equalities between constants in shared terms
 database

---
 src/decision/decision_engine.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/decision')

diff --git a/src/decision/decision_engine.h b/src/decision/decision_engine.h
index 1e6e8a64d..3ec6aaf2a 100644
--- a/src/decision/decision_engine.h
+++ b/src/decision/decision_engine.h
@@ -46,9 +46,9 @@ class DecisionEngine {
   CnfStream* d_cnfStream;
   DPLLSatSolverInterface* d_satSolver;
 
+  context::Context* d_satContext;
   SatValue d_result;
 
-  context::Context* d_satContext;
 public:
   // Necessary functions
 
-- 
cgit v1.2.3