Fix lambda handling in CVC parser

diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index 12586111382975fa4c1bab5cd0cd864f1e2a2451..42ca27caf475392b6e4b21a6f3f0f174bc8b59d4 100644 (file)
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -166,7 +166,7 @@ Expr
 Parser::mkAnonymousFunction(const std::string& prefix, const Type& type, uint32_t flags) {
   stringstream name;
   name << prefix << "_anon_" << ++d_anonymousFunctionCount;
-  return mkFunction(name.str(), type, flags);
+  return d_exprManager->mkVar(name.str(), type, flags);
 }
 
 std::vector<Expr>