diff options
author | Tim King <taking@cs.nyu.edu> | 2017-11-15 18:17:56 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-15 20:17:56 -0600 |
commit | 7bd874b098f210b53f5b608bc159d1d90c8794b8 (patch) | |
tree | cdb22726afd8d092b696825d4d026f123b7f3d20 /src/theory/quantifiers/quantifiers_rewriter.cpp | |
parent | 9bff14c12c34fea0e6ba0649a3e8f7e8f48b5646 (diff) |
Initializes BitVectorProof::d_isAssumptionConflict. Resolves CID 1362898. (#1374)
Diffstat (limited to 'src/theory/quantifiers/quantifiers_rewriter.cpp')
0 files changed, 0 insertions, 0 deletions