diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-04-18 18:05:39 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-04-18 18:05:39 +0000 |
| commit | 267858307741675cb78e829270e619f57cf21a27 (patch) | |
| tree | d8b663f8b213f6d4a085b06c2f12bffccfd7de33 /src/parser/smt2 | |
| parent | abe849b486ea3707fd51a612c7982554f3d6581f (diff) | |
mostly CVC presentation language parsing and printing
Diffstat (limited to 'src/parser/smt2')
| -rw-r--r-- | src/parser/smt2/Smt2.g | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index a5a633e48..d27abc735 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -448,6 +448,7 @@ term[CVC4::Expr& expr] { Assert( AntlrInput::tokenText($BINARY_LITERAL).find("#b") == 0 ); std::string binString = AntlrInput::tokenTextSubstr($BINARY_LITERAL, 2); expr = MK_CONST( BitVector(binString, 2) ); } + // NOTE: Theory constants go here ; |