diff options
Diffstat (limited to 'src/expr/expr_manager.h')
| -rw-r--r-- | src/expr/expr_manager.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/expr/expr_manager.h b/src/expr/expr_manager.h index 319a5d318..3ea1b581a 100644 --- a/src/expr/expr_manager.h +++ b/src/expr/expr_manager.h @@ -46,10 +46,11 @@ public: */ ~ExprManager(); - /** Get the type for booleans. */ - const BooleanType* booleanType(); + /** Get the type for booleans */ + const BooleanType* booleanType() const; + /** Get the type for sorts. */ - const KindType* kindType(); + const KindType* kindType() const; /** * Make a unary expression of a given kind (TRUE, FALSE,...). |