1 files changed, 1 insertions, 71 deletions
diff --git a/test/regress/regress0/arith/integers/Makefile.am b/test/regress/regress0/arith/integers/Makefile.am
index 3d7f40c71..d0340616f 100644
--- a/test/regress/regress0/arith/integers/Makefile.am
+++ b/test/regress/regress0/arith/integers/Makefile.am
@@ -23,77 +23,7 @@ TESTS =	\
 	arith-int-017.cvc \
 	arith-int-018.cvc \
 	arith-int-019.cvc \
-	arith-int-020.cvc \
-	arith-int-021.cvc \
-	arith-int-023.cvc \
-	arith-int-024.cvc \
-	arith-int-025.cvc \
-	arith-int-026.cvc \
-	arith-int-027.cvc \
-	arith-int-028.cvc \
-	arith-int-029.cvc \
-	arith-int-030.cvc \
-	arith-int-031.cvc \
-	arith-int-032.cvc \
-	arith-int-033.cvc \
-	arith-int-034.cvc \
-	arith-int-035.cvc \
-	arith-int-036.cvc \
-	arith-int-037.cvc \
-	arith-int-038.cvc \
-	arith-int-039.cvc \
-	arith-int-040.cvc \
-	arith-int-041.cvc \
-	arith-int-044.cvc \
-	arith-int-045.cvc \
-	arith-int-046.cvc \
-	arith-int-048.cvc \
-	arith-int-049.cvc \
-	arith-int-051.cvc \
-	arith-int-052.cvc \
-	arith-int-053.cvc \
-	arith-int-054.cvc \
-	arith-int-055.cvc \
-	arith-int-056.cvc \
-	arith-int-057.cvc \
-	arith-int-058.cvc \
-	arith-int-059.cvc \
-	arith-int-060.cvc \
-	arith-int-061.cvc \
-	arith-int-062.cvc \
-	arith-int-063.cvc \
-	arith-int-064.cvc \
-	arith-int-065.cvc \
-	arith-int-066.cvc \
-	arith-int-067.cvc \
-	arith-int-068.cvc \
-	arith-int-069.cvc \
-	arith-int-070.cvc \
-	arith-int-071.cvc \
-	arith-int-072.cvc \
-	arith-int-073.cvc \
-	arith-int-074.cvc \
-	arith-int-075.cvc \
-	arith-int-076.cvc \
-	arith-int-077.cvc \
-	arith-int-078.cvc \
-	arith-int-079.cvc \
-	arith-int-080.cvc \
-	arith-int-081.cvc \
-	arith-int-083.cvc \
-	arith-int-085.cvc \
-	arith-int-086.cvc \
-	arith-int-087.cvc \
-	arith-int-088.cvc \
-	arith-int-089.cvc \
-	arith-int-090.cvc \
-	arith-int-091.cvc \
-	arith-int-092.cvc \
-	arith-int-093.cvc \
-	arith-int-094.cvc \
-	arith-int-095.cvc \
-	arith-int-096.cvc \
-	arith-int-099.cvc
+	arith-int-020.cvc 
 
 EXTRA_DIST = $(TESTS) \
 	arith-int-008.cvc \