diff options
author | Tim King <taking@cs.nyu.edu> | 2012-04-19 18:36:02 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-04-19 18:36:02 +0000 |
commit | b0c2cebecbd6b7d2a7804cf5dcc92bb8a27b1857 (patch) | |
tree | f4bd15426b117c2ee6f01e97ccab26abb6eda711 /src/decision | |
parent | 7146e9ecb023d10f84747eaac93656b4e7661c54 (diff) |
In the constructor of DecisionEngine, there were 2 pointers that were assumed to be initialized to NULL. This is not true on all platforms. This is now done explicitly. Macs builds should now work again.
Diffstat (limited to 'src/decision')
-rw-r--r-- | src/decision/decision_engine.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/decision/decision_engine.cpp b/src/decision/decision_engine.cpp index 936ac8e73..dbdbb83a9 100644 --- a/src/decision/decision_engine.cpp +++ b/src/decision/decision_engine.cpp @@ -26,7 +26,11 @@ using namespace std; namespace CVC4 { -DecisionEngine::DecisionEngine() : d_needSimplifiedPreITEAssertions() { +DecisionEngine::DecisionEngine() : + d_needSimplifiedPreITEAssertions(), + d_cnfStream(NULL), + d_satSolver(NULL) +{ const Options* options = Options::current(); Trace("decision") << "Creating decision engine" << std::endl; if(options->decisionMode == Options::DECISION_STRATEGY_INTERNAL) { } |