Fix regression requiring proof build. (#2364)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 23 Aug 2018 19:11:36 +0000 (14:11 -0500)
committerGitHub <noreply@github.com>
Thu, 23 Aug 2018 19:11:36 +0000 (14:11 -0500)
commit4dc48596188c0550e625434cdd893d909810f9de
tree6254d1631c791f5c93ca2d5b001d07a1ea933357
parentf66f40912490226291d5af6c1f8b66e9ba6d7633
Fix regression requiring proof build. (#2364)
test/regress/regress1/quantifiers/dump-inst-proof.smt2