diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-07 02:40:16 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-07 02:40:16 -0400 |
| commit | c83882c37a5568f887badb22bd24397f7d545b9d (patch) | |
| tree | b7c138f8950ad99a98396111c7c9d1912f17a01f /src/theory/quantifiers/kinds | |
| parent | 4801b31380dd7fd29b4a01dacec3c4cd195fe40d (diff) | |
define-const is an extended command, not permitted in strict mode.
Diffstat (limited to 'src/theory/quantifiers/kinds')
0 files changed, 0 insertions, 0 deletions