diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-08-14 17:52:54 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-08-14 17:52:54 +0000 |
| commit | 8d6589fee6583ee7036c83a25d7e71471f6f5fd5 (patch) | |
| tree | 2a9a0654bd1420ab5f3f15f9ff3fbd066b04275a /src/theory/model.h | |
| parent | b43f87e90aec85a18b5b8c34f6111a9aacaa42ba (diff) | |
Switched TheoryModel assertEqualityEngine to use const Equality Engine pointers.
Diffstat (limited to 'src/theory/model.h')
| -rw-r--r-- | src/theory/model.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/model.h b/src/theory/model.h index 940a2f527..4a4bf48c9 100644 --- a/src/theory/model.h +++ b/src/theory/model.h @@ -123,7 +123,7 @@ public: /** assert predicate holds in the model */ void assertPredicate( Node a, bool polarity ); /** assert all equalities/predicates in equality engine hold in the model */ - void assertEqualityEngine( eq::EqualityEngine* ee ); + void assertEqualityEngine( const eq::EqualityEngine* ee ); public: /** general queries */ bool hasTerm( Node a ); |