From edaf5ab57434d5d9a081c4925b96503d203f9de9 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Dejan=20Jovanovi=C4=87?= Date: Sun, 17 Jun 2012 01:59:53 +0000 Subject: [PATCH] fixing makefile error that brakes build --- test/regress/regress0/quantifiers/Makefile.am | 1 + 1 file changed, 1 insertion(+) diff --git a/test/regress/regress0/quantifiers/Makefile.am b/test/regress/regress0/quantifiers/Makefile.am index b72cad89e..97675b111 100644 --- a/test/regress/regress0/quantifiers/Makefile.am +++ b/test/regress/regress0/quantifiers/Makefile.am @@ -37,6 +37,7 @@ TESTS = \ # removed because it now reports unknown # symmetric_unsat_7.smt2 \ +# # removed because they take more than 20s -- 2.30.2