diff options
author | Tim King <taking@google.com> | 2016-01-06 12:43:41 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2016-01-06 12:43:41 -0800 |
commit | 62dc798bd4f3f5bb174344da48e958bea73b19b9 (patch) | |
tree | 0ac011b9530a286889cdd69e848bba9e8999e390 | |
parent | d0ef178e46acefc03373add0ed9a99c657bd4f72 (diff) |
Fixing a SWIG ordering issue between bitvector and integer.
-rw-r--r-- | src/cvc4.i | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/src/cvc4.i b/src/cvc4.i index 601c9a878..b0fad9f2e 100644 --- a/src/cvc4.i +++ b/src/cvc4.i @@ -310,21 +310,23 @@ std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters; %include "options/language.i" +// Tim: "util/integer.i" must come before util/{rational.i,bitvector.i}. +%include "util/integer.i" +%include "util/rational.i" %include "util/bitvector.i" + +// Tim: The remainder of util/. %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" %include "expr/statistics.i" @@ -355,6 +357,8 @@ std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters; %include "options/options.i" %include "parser/cvc4parser.i" %include "smt/logic_exception.i" -%include "smt/smt_engine.i" %include "smt_util/command.i" %include "theory/logic_info.i" + +// Tim: This should come after "theory/logic_info.i". +%include "smt/smt_engine.i" |