diff options
Diffstat (limited to 'src/util')
| -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 74cee5f37..7f3bbe526 100644 --- a/src/util/statistics.i +++ b/src/util/statistics.i @@ -4,7 +4,7 @@ #ifdef SWIGJAVA #include "bindings/java_iterator_adapter.h" -#include "bindings/java_output_stream_adapter.h" +#include "bindings/java_stream_adapters.h" #endif /* SWIGJAVA */ %} @@ -72,7 +72,7 @@ #ifdef SWIGJAVA %include "bindings/java_iterator_adapter.h" -%include "bindings/java_output_stream_adapter.h" +%include "bindings/java_stream_adapters.h" %template(JavaIteratorAdapter_StatisticsBase) CVC4::JavaIteratorAdapter<CVC4::StatisticsBase>; |