diff options
Diffstat (limited to 'src/theory/bv/bitblaster.cpp')
| -rw-r--r-- | src/theory/bv/bitblaster.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/bv/bitblaster.cpp b/src/theory/bv/bitblaster.cpp index 60fc8f9c1..6b59b9b00 100644 --- a/src/theory/bv/bitblaster.cpp +++ b/src/theory/bv/bitblaster.cpp @@ -350,7 +350,7 @@ Bitblaster::Statistics::~Statistics() { } bool Bitblaster::MinisatNotify::notify(prop::SatLiteral lit) { - return d_bv->storePropagation(d_cnf->getNode(lit), TheoryBV::SUB_BITBLASTER); + return d_bv->storePropagation(d_cnf->getNode(lit), TheoryBV::SUB_BITBLAST); }; void Bitblaster::MinisatNotify::notify(prop::SatClause& clause) { |