diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-05 14:28:55 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-05 14:28:55 +0000 |
| commit | 57e51c2212f1c626368c66c6fbcf78ea0ce9722e (patch) | |
| tree | 6264e0a545a63bd8922fc7c2638fe003d404bdea /src/parser/smt | |
| parent | 342c81e52224be3afc255a8a719747fa5eafdb32 (diff) | |
Minor refactorings, in response to code review (Bug #73)
Diffstat (limited to 'src/parser/smt')
| -rw-r--r-- | src/parser/smt/Smt.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/smt/Smt.g b/src/parser/smt/Smt.g index c0b184abf..160bd321f 100644 --- a/src/parser/smt/Smt.g +++ b/src/parser/smt/Smt.g @@ -322,7 +322,7 @@ sortDeclaration } : sortName[name,CHECK_UNDECLARED] { Debug("parser") << "sort decl: '" << name << "'" << std::endl; - PARSER_STATE->newSort(name); } + PARSER_STATE->mkSort(name); } ; /** |