diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-10-03 07:05:28 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-03 07:05:28 -0500 |
| commit | 252860a96565f3c73fff7132eb06059c90582bdd (patch) | |
| tree | ca53076f5c619fddd7f1d8f7cbe2e598af316ffa /src/parser/smt1/Smt1.g | |
| parent | df058b7fb79abaa4e6488449f2307ee29f47efdd (diff) | |
Op overload parser (#1162)
* Update parser for operator overloading.
* Improvements
* Updates
* Add assert
Diffstat (limited to 'src/parser/smt1/Smt1.g')
| -rw-r--r-- | src/parser/smt1/Smt1.g | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/smt1/Smt1.g b/src/parser/smt1/Smt1.g index 93169504d..479ef35c5 100644 --- a/src/parser/smt1/Smt1.g +++ b/src/parser/smt1/Smt1.g @@ -483,8 +483,8 @@ functionSymbol[CVC4::Expr& fun] std::string name; } : functionName[name,CHECK_DECLARED] - { PARSER_STATE->checkFunctionLike(name); - fun = PARSER_STATE->getVariable(name); } + { fun = PARSER_STATE->getVariable(name); + PARSER_STATE->checkFunctionLike(fun); } ; /** |