diff options
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 7b58ba4f9..3198c8b64 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -156,7 +156,7 @@ Parser::mkBoundVar(const std::string& name, const Type& type) { Expr Parser::mkFunction(const std::string& name, const Type& type, - bool levelZero) { + bool levelZero) { Debug("parser") << "mkVar(" << name << ", " << type << ")" << std::endl; Expr expr = d_exprManager->mkVar(name, type); defineFunction(name, expr, levelZero); |