From 473e87a54cdcff5384ebf09dc433a4c2a0b30c8b Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 30 Mar 2010 04:59:53 +0000 Subject: [PATCH] fixing mistaken commit to unit test Makefile.am which removed tests --- test/unit/Makefile.am | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index b80d3bea3..214f2ac58 100644 --- 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 -- 2.30.2