diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-01 13:27:20 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-04 07:56:20 -0500 |
| commit | 08294c3914e4e87f3c5c1eda60e6ea259b789f55 (patch) | |
| tree | b2779f49f6cedeb2fae53c421a5394ac3a178714 /src/theory/quantifiers/instantiation_engine.cpp | |
| parent | 213075fa8e845b2236340ea76c1595a93a2ac44d (diff) | |
More useful error message when someone tries mkExpr(VARIABLE).
Diffstat (limited to 'src/theory/quantifiers/instantiation_engine.cpp')
0 files changed, 0 insertions, 0 deletions