diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2012-06-13 02:49:35 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-06-13 02:49:35 +0000 |
| commit | 9b4696559cd2c74afb825d793614eb4cd6ee817e (patch) | |
| tree | a83bd5b4aac7fe1aa8160f9de7721e85a218b3ef /src/theory/bv/theory_bv.h | |
| parent | 134c6dc95199bc57013d07e0992f89254f49038b (diff) | |
Fixes lots of problems in bv rewrite rules and adds lots of assertions
to catch any that I may have missed
Diffstat (limited to 'src/theory/bv/theory_bv.h')
| -rw-r--r-- | src/theory/bv/theory_bv.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/bv/theory_bv.h b/src/theory/bv/theory_bv.h index 247d66d89..761c11e3d 100644 --- a/src/theory/bv/theory_bv.h +++ b/src/theory/bv/theory_bv.h @@ -65,7 +65,7 @@ public: std::string identify() const { return std::string("TheoryBV"); } PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions); - Node ppRewrite(TNode atom); + Node ppRewrite(TNode t); private: |