diff options
Diffstat (limited to 'examples/api/java/Makefile.am')
| -rw-r--r-- | examples/api/java/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/api/java/Makefile.am b/examples/api/java/Makefile.am index d12f2877e..6ce35b300 100644 --- a/examples/api/java/Makefile.am +++ b/examples/api/java/Makefile.am @@ -2,7 +2,7 @@ noinst_DATA = if CVC4_LANGUAGE_BINDING_JAVA noinst_DATA += \ - CVC4Streams.class \ + #CVC4Streams.class \ ## disabled until bindings for the new API are in place (issue #2284) BitVectors.class \ BitVectorsAndArrays.class \ Combination.class \ |