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/preprocessing/util/ite_utilities.h | |
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/preprocessing/util/ite_utilities.h')
0 files changed, 0 insertions, 0 deletions