fixing mistaken commit to unit test Makefile.am which removed tests

diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am
index b80d3bea3ff62148bcaa2b17673263f3506937cb..214f2ac58ec2a75a8bf994a1e21815e44b4d3418 100644 (file)
--- a/test/unit/Makefile.am
+++ b/test/unit/Makefile.am
@@ -15,7 +15,10 @@ UNIT_TESTS = \
        theory/theory_uf_white \
        util/assert_white \
        util/configuration_white \
-       util/output_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