Removing the forward declaration of QuantInfo from rewrite_engine.h.
authorTim King <taking@google.com>
Thu, 1 Sep 2016 06:06:39 +0000 (23:06 -0700)
committerTim King <taking@google.com>
Thu, 1 Sep 2016 06:06:39 +0000 (23:06 -0700)
commit07c4b6c27aac497c74695dd559adfee0d9e8e83f
tree1ae06e7433bf466dd6cfad41ce136fff79d6df1f
parentd6b840e521eef52a864f51fa18d6e86a6bf34f4a
Removing the forward declaration of QuantInfo from rewrite_engine.h.
src/theory/quantifiers/rewrite_engine.cpp
src/theory/quantifiers/rewrite_engine.h
src/theory/theory_engine.h