From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 5 Sep 2013 14:47:07 +0000 (-0400)
Subject: Fix lambda handling in CVC parser
X-Git-Tag: cvc5-1.0.0~7287^2~28
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7f6ded8353c91996d021c35461a5b3c2224746ae;p=cvc5.git

Fix lambda handling in CVC parser
---

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>