diff options
Diffstat (limited to 'src/decision/decision_engine.h')
-rw-r--r-- | src/decision/decision_engine.h | 2 |
1 files changed, 1 insertions, 1 deletions
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 |