diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2012-12-01 16:41:09 +0000 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-12-01 16:41:09 +0000 |
commit | ca3c6c4842f122641c4bb5096e6c9249db2ff12b (patch) | |
tree | 0352049d649922a64dddca8333ec01fad8c3f50c /src/theory/Makefile | |
parent | e820acb9e220389e9a7e23bcffd97f1d0354f612 (diff) |
Throw a logic exception if user makes an assertion using a STORE_ALL
Diffstat (limited to 'src/theory/Makefile')
0 files changed, 0 insertions, 0 deletions