diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-12-04 01:40:21 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-12-04 01:40:21 -0500 |
| commit | c2d84b857aabfaf949f80726a8660ee72ce14ad9 (patch) | |
| tree | 2c9f5687e86710d99d5c23e4962b83189a923e0f /src/prop | |
| parent | 68c393b714e3d344df28f44fb1590ad1a73ba819 (diff) | |
Fix valgrind-flagged error about uninitialized value.
Diffstat (limited to 'src/prop')
| -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) { |