diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-15 22:30:48 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:38 -0400 |
| commit | bb35ed4f871e4cb5d33c1030fc5547bb92ec334b (patch) | |
| tree | 62d151f6be0bcf5ce2f06fbc8afb84f5d85f4fd1 /src/theory/bv/bitblaster_template.h | |
| parent | c49991b10bbf284082bb87c8094ff88a20828dfd (diff) | |
Fix compile errors with some versions of GCC.
Diffstat (limited to 'src/theory/bv/bitblaster_template.h')
| -rw-r--r-- | src/theory/bv/bitblaster_template.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/bv/bitblaster_template.h b/src/theory/bv/bitblaster_template.h index 25de81f2c..8971d289f 100644 --- a/src/theory/bv/bitblaster_template.h +++ b/src/theory/bv/bitblaster_template.h @@ -134,9 +134,9 @@ class TLazyBitblaster : public TBitblaster<Node> { prop::BVSatSolverInterface* d_satSolver; prop::CnfStream* d_cnfStream; - AssertionList d_assertedAtoms; /**< context dependent list storing the atoms + AssertionList* d_assertedAtoms; /**< context dependent list storing the atoms currently asserted by the DPLL SAT solver. */ - ExplanationMap d_explanations; /**< context dependent list of explanations for the propagated literals. + ExplanationMap* d_explanations; /**< context dependent list of explanations for the propagated literals. Only used when bvEagerPropagate option enabled. */ VarSet d_variables; AtomSet d_bbAtoms; |