From 7f6ded8353c91996d021c35461a5b3c2224746ae Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 5 Sep 2013 10:47:07 -0400
Subject: [PATCH] Fix lambda handling in CVC parser

---
 src/parser/parser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index 125861113..42ca27caf 100644
--- 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>
-- 
2.30.2