diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-05-22 14:09:54 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-22 16:09:54 -0500 |
| commit | 5c8601e638fcbfcd29eceeea4f83a0c1ca578316 (patch) | |
| tree | 379a67335b139a8eff13307e3ea3265451edce89 /src/prop/cadical.cpp | |
| parent | 0b49b88e4d1c299a7cd662cd2221fd826b5bc972 (diff) | |
CaDiCaL: Clean up initialization on creation. (#4516)
Diffstat (limited to 'src/prop/cadical.cpp')
| -rw-r--r-- | src/prop/cadical.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/prop/cadical.cpp b/src/prop/cadical.cpp index f824f5075..48116912b 100644 --- a/src/prop/cadical.cpp +++ b/src/prop/cadical.cpp @@ -64,6 +64,10 @@ CadicalSolver::CadicalSolver(StatisticsRegistry* registry, d_nextVarIdx(1), d_statistics(registry, name) { +} + +void CadicalSolver::init() +{ d_true = newVar(); d_false = newVar(); |