diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-01 18:31:10 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-25 20:35:54 -0400 |
commit | ef189453232a4dff9d3cfebafc6101bf8416b549 (patch) | |
tree | 3940f9d503cfc69431a3ac85b717fd4871241553 /src/util | |
parent | 30333c667c982a3ce4c4efcec705724d22f12ec2 (diff) |
java input stream adapters working
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>; |