diff options
| author | anwu1219 <haozewu@stanford.edu> | 2018-09-26 01:27:49 -0700 |
|---|---|---|
| committer | anwu1219 <haozewu@stanford.edu> | 2018-09-26 01:27:49 -0700 |
| commit | 06034cac64207cc3ecbb8f6945619d62ba527d59 (patch) | |
| tree | 906ac42d61620659b0f6044074d6b5dc59817854 | |
| parent | 17bb76e412142a9db3a116b9f3f232d30bdf8b5a (diff) | |
fix bug
| -rw-r--r-- | src/prop/cryptominisat.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/prop/cryptominisat.h b/src/prop/cryptominisat.h index 06f04ab76..2ee19e41b 100644 --- a/src/prop/cryptominisat.h +++ b/src/prop/cryptominisat.h @@ -74,6 +74,8 @@ public: std::vector<SatLiteral> getTopLevelUnits() override; + SatValue simplify() override; + class Statistics { public: StatisticsRegistry* d_registry; |