again, re-enabling integer/rational tests (though they still fail to compile on 32...

diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am
index 122d92cae387e52bbd195fbf4c6e47fb7635d295..3d9e65070d7b4576a9a89ff7c9a104b5711be54f 100644 (file)
--- a/test/unit/Makefile.am
+++ b/test/unit/Makefile.am
@@ -17,10 +17,10 @@ UNIT_TESTS = \
        theory/theory_uf_white \
        util/assert_white \
        util/configuration_white \
-       util/output_white
-#      util/integer_black \
-#      util/integer_white \
-#      util/rational_white
+       util/output_white \
+       util/integer_black \
+       util/integer_white \
+       util/rational_white
 
 # Things that aren't tests but that tests rely on and need to
 # go into the distribution