diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-01 20:59:00 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-01 20:59:00 +0100 |
| commit | 23f0a12c727721478bcb87ec142fb86a329f7cdb (patch) | |
| tree | 6e3d905c21a8d54540612e2f4795f0cf084a44b6 /libs/ezsat/ezminisat.cc | |
| parent | edc21460565ea75cff54cab69933da8c5e9db382 (diff) | |
| download | yosys-23f0a12c727721478bcb87ec142fb86a329f7cdb.tar.gz yosys-23f0a12c727721478bcb87ec142fb86a329f7cdb.tar.bz2 yosys-23f0a12c727721478bcb87ec142fb86a329f7cdb.zip | |
ezSAT bugfix: don't call virtual methods in base class constructor
Diffstat (limited to 'libs/ezsat/ezminisat.cc')
| -rw-r--r-- | libs/ezsat/ezminisat.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc index c6126d862..287177b1c 100644 --- a/libs/ezsat/ezminisat.cc +++ b/libs/ezsat/ezminisat.cc @@ -35,6 +35,9 @@ ezMiniSAT::ezMiniSAT() : minisatSolver(NULL) { minisatSolver = NULL; foundContradiction = false; + + freeze(TRUE); + freeze(FALSE); } ezMiniSAT::~ezMiniSAT() |