diff options
author | Andres Noetzli <noetzli@stanford.edu> | 2019-06-05 09:36:40 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-05 09:36:40 -0700 |
commit | c587235d29d2e3e1cd52a9f76dde8f58c89ae37e (patch) | |
tree | 139dbbfd2b1494c1a886f064184a1ddd7b65e309 /src/smt/smt_engine.i | |
parent | 0536a743411b882cda88b18ca21cd5dc29828f54 (diff) |
Add support for SWIG 4 (#3041)
SWIG 4 seems to change the name for `std::map<CVC4::Expr, CVC4::Expr>`
to include the implicit template argument for comparisons. To make the
code compatible with both SWIG 4.0.0 and older versions, this commit
creates an explicit instance of the template.
Diffstat (limited to 'src/smt/smt_engine.i')
-rw-r--r-- | src/smt/smt_engine.i | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/smt/smt_engine.i b/src/smt/smt_engine.i index c054cb666..4018cc3dc 100644 --- a/src/smt/smt_engine.i +++ b/src/smt/smt_engine.i @@ -42,6 +42,9 @@ SWIGEXPORT void JNICALL Java_edu_nyu_acsys_CVC4_SmtEngine_dlRef(JNIEnv* jenv, jc swigCPtr = 0; } } + +%template(Map_ExprExpr) std::map<CVC4::Expr, CVC4::Expr>; + #endif // SWIGJAVA %ignore CVC4::SmtEngine::setLogic(const char*); |