From 37c20e30239e8ce86e9fc7106afcf5a7b896e7c3 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Sat, 2 Oct 2010 05:52:51 +0000
Subject: branches/arith-indexed-variables merged into the main trunk.

---
 test/regress/regress0/arith/Makefile.am | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'test/regress/regress0/arith/Makefile.am')

diff --git a/test/regress/regress0/arith/Makefile.am b/test/regress/regress0/arith/Makefile.am
index 18ca5fe86..f38413d95 100644
--- a/test/regress/regress0/arith/Makefile.am
+++ b/test/regress/regress0/arith/Makefile.am
@@ -6,7 +6,8 @@ TESTS_ENVIRONMENT = @srcdir@/../../run_regression @top_builddir@/src/main/cvc4
 TESTS =	\
 	arith.01.cvc \
 	arith.02.cvc \
-	arith.03.cvc
+	arith.03.cvc \
+	leq.01.smt
 
 EXTRA_DIST = $(TESTS)
 
-- 
cgit v1.2.3