diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-12-01 01:43:08 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-12-01 01:43:08 +0000 |
commit | 8953b603bd6960eb59ccb41a63d4742096da1c4a (patch) | |
tree | 197300f8a004a5ae01cdefb152690c30248d83c7 /examples/api/java/Makefile.am | |
parent | e39b94aa9425123420635c298fa6bb8a2ee4f048 (diff) |
updated examples
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 |