diff options
Diffstat (limited to 'src/util/statistics.i')
-rw-r--r-- | src/util/statistics.i | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/statistics.i b/src/util/statistics.i index 8d1086dcc..7dfc7ec39 100644 --- a/src/util/statistics.i +++ b/src/util/statistics.i @@ -64,12 +64,12 @@ %include <std_pair.i> %include <std_string.i> -%include <std_vector.i> -%include "bindings/java_iterator_adapter.h" %include "util/sexpr.h" %template(Statistic) std::pair<std::string, CVC4::SExpr>; + +%feature("valuewrapper") CVC4::JavaIteratorAdapter<CVC4::StatisticsBase, std::pair<std::string, CVC4::SExpr> >; %template(JavaIteratorAdapter_StatisticsBase) CVC4::JavaIteratorAdapter<CVC4::StatisticsBase, std::pair<std::string, CVC4::SExpr> >; #endif /* SWIGJAVA */ |