some test fixes

diff --git a/src/util/gmp_util.h b/src/util/gmp_util.h
index e8054fe6be3a258e71d7dcc9591b8e50dc7b85eb..f884ddca694efe9f19ce7ce6e4045dd11e2ba823 100644 (file)
--- a/src/util/gmp_util.h
+++ b/src/util/gmp_util.h
@@ -17,7 +17,7 @@
  ** \todo document this file
  **/
 
-#include "cvc4_private.h"
+#include "cvc4_public.h"
 
 #ifndef __CVC4__GMP_UTIL_H
 #define __CVC4__GMP_UTIL_H

diff --git a/test/system/Makefile.am b/test/system/Makefile.am
index 0f80aa45470c88eed1364ca678fa3c50ddf99940..cc0d63aee5f4bccdb8c2a012c7310491a6d00056 100644 (file)
--- a/test/system/Makefile.am
+++ b/test/system/Makefile.am
@@ -17,7 +17,8 @@ TEST_DEPS_DIST = \
        cvc3_main.cpp \
        cvc3_george.h \
        cvc3_george.cpp \
-       CVC4JavaTest.java
+       CVC4JavaTest.java \
+       run_java_test
 
 # Make-level dependencies; these don't go in the source distribution
 # but should trigger a re-compile of all unit tests.  Libraries are