diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/expr/expr_manager.i | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/expr_manager.i b/src/expr/expr_manager.i index 90d0942b4..b4d2051e3 100644 --- a/src/expr/expr_manager.i +++ b/src/expr/expr_manager.i @@ -5,6 +5,6 @@ %include "expr/expr_manager.h" %template(mkConst) CVC4::ExprManager::mkConst< CVC4::Integer >; -%template(mkConst) CVC4::ExprManager::mkConst<CVC4::Rational>; +%template(mkConst) CVC4::ExprManager::mkConst< CVC4::Rational >; %include "expr/expr_manager.h" |