diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-05 10:47:07 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-05 15:17:38 -0400 |
| commit | 7f6ded8353c91996d021c35461a5b3c2224746ae (patch) | |
| tree | d0a77566e92fd3c3cea43ecb45af3a51450c08f4 /src/parser/parser.cpp | |
| parent | 30c92d9a634a0643fd2dad51cc09486d38ba3893 (diff) | |
Fix lambda handling in CVC parser
Diffstat (limited to 'src/parser/parser.cpp')
| -rw-r--r-- | src/parser/parser.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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> |