diff options
author | Tim King <taking@google.com> | 2016-01-05 17:28:38 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2016-01-05 17:28:38 -0800 |
commit | b5f91dae58691468f6c8f2d7c6aebf639f1d017b (patch) | |
tree | e6584f75105e4a3c1fa461b988286c0d649d42d3 /src/cvc4.i | |
parent | 5eabda0f55cee3be81aa7ae126269c32e818322f (diff) |
Moving sexpr.{cpp,h,i} from expr/ back into util/.
Diffstat (limited to 'src/cvc4.i')
-rw-r--r-- | src/cvc4.i | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/src/cvc4.i b/src/cvc4.i index e81276f23..601c9a878 100644 --- a/src/cvc4.i +++ b/src/cvc4.i @@ -52,12 +52,12 @@ using namespace CVC4; #include "base/modal_exception.h" #include "expr/datatype.h" #include "expr/expr.h" -#include "expr/sexpr.h" #include "expr/type.h" #include "options/option_exception.h" #include "smt_util/command.h" -#include "util/integer.h" #include "util/bitvector.h" +#include "util/integer.h" +#include "util/sexpr.h" #include "util/unsafe_interrupt_exception.h" #ifdef SWIGJAVA @@ -306,25 +306,24 @@ std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters; // At the moment, the header includes seem to need to follow a special order. // I don't know why. I am following the build order %include "base/exception.i" -%include "util/unsafe_interrupt_exception.i" -%include "util/integer.i" -%include "util/rational.i" -%include "options/language.i" -%include "util/configuration.i" -%include "util/bool.i" -%include "util/cardinality.i" %include "base/modal_exception.i" -%include "expr/sexpr.i" - -%include "util/bitvector.i" +%include "options/language.i" +%include "util/bitvector.i" +%include "util/bool.i" +%include "util/cardinality.i" +%include "util/configuration.i" %include "util/hash.i" +%include "util/integer.i" %include "util/proof.i" +%include "util/rational.i" %include "util/regexp.i" %include "util/result.i" +%include "util/sexpr.i" %include "util/subrange_bound.i" %include "util/tuple.i" +%include "util/unsafe_interrupt_exception.i" //%include "util/floatingpoint.i" %include "expr/uninterpreted_constant.i" |