define-const is an extended command, not permitted in strict mode.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 7 Oct 2014 06:40:16 +0000 (02:40 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 7 Oct 2014 06:40:16 +0000 (02:40 -0400)
commitc83882c37a5568f887badb22bd24397f7d545b9d
treeb7c138f8950ad99a98396111c7c9d1912f17a01f
parent4801b31380dd7fd29b4a01dacec3c4cd195fe40d
define-const is an extended command, not permitted in strict mode.
src/parser/smt2/Smt2.g