diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-07 10:15:41 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-07 10:15:41 -0500 |
commit | 3a3a57583fd8bd4af5c3b99b0047c9b20de38bb1 (patch) | |
tree | 1045a0a8fc03ca2a83d94da18c307ba3147eef4f /src/theory/quantifiers/quant_conflict_find.h | |
parent | b07abc9bf4dbd20eb086b584fcb140be97f69a85 (diff) |
Revert "Fix missing case in model postprocessor (resolves bug #595)."
This reverts commit 61042cf551b19d06673be2b069bacc7cb1cd775a.
Conflicts:
test/regress/regress0/Makefile.am
Diffstat (limited to 'src/theory/quantifiers/quant_conflict_find.h')
0 files changed, 0 insertions, 0 deletions