diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/prop/cnf_stream.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp index 8d7b014cc..fd30cd997 100644 --- a/src/prop/cnf_stream.cpp +++ b/src/prop/cnf_stream.cpp @@ -51,6 +51,7 @@ CnfStream::CnfStream(SatSolver *satSolver, Registrar* registrar, context::Contex d_nodeToLiteralMap(context), d_literalToNodeMap(context), d_fullLitToNodeMap(fullLitToNodeMap), + d_convertAndAssertCounter(0), d_registrar(registrar), d_assertionTable(context), d_removable(false) { |