Fix API call for reg exp. (#2248)

diff --git a/src/expr/expr_manager_template.cpp b/src/expr/expr_manager_template.cpp
index de128b3e510e8d0e259957920220a15e4908e32f..425f78555d227c1fd9981717c0d2bbae693681fd 100644 (file)
--- a/src/expr/expr_manager_template.cpp
+++ b/src/expr/expr_manager_template.cpp
@@ -146,7 +146,7 @@ StringType ExprManager::stringType() const {
 
 RegExpType ExprManager::regExpType() const {
   NodeManagerScope nms(d_nodeManager);
-  return StringType(Type(d_nodeManager, new TypeNode(d_nodeManager->regExpType())));
+  return RegExpType(Type(d_nodeManager, new TypeNode(d_nodeManager->regExpType())));
 }
 
 RealType ExprManager::realType() const {