diff options
Diffstat (limited to 'examples/api/java/Makefile.am')
| -rw-r--r-- | examples/api/java/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/api/java/Makefile.am b/examples/api/java/Makefile.am index ff3d36e14..55f637604 100644 --- a/examples/api/java/Makefile.am +++ b/examples/api/java/Makefile.am @@ -3,6 +3,7 @@ noinst_DATA = if CVC4_LANGUAGE_BINDING_JAVA noinst_DATA += \ BitVectors.class \ + BitVectorsAndArrays.class \ Combination.class \ HelloWorld.class \ LinearArith.class @@ -13,6 +14,7 @@ endif EXTRA_DIST = \ BitVectors.java \ + BitVectorsAndArrays.java \ Combination.java \ HelloWorld.java \ LinearArith.java |