From 795ab3d4e6a2e75e4e6c6d795d78ef3ae3d17eeb Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 14 Dec 2010 01:04:00 +0000 Subject: fix to static learning application in UF, resolves bug# 239 --- test/regress/regress0/Makefile.am | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'test/regress/regress0/Makefile.am') diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am index 73901c328..6ce2468b8 100644 --- a/test/regress/regress0/Makefile.am +++ b/test/regress/regress0/Makefile.am @@ -84,7 +84,8 @@ BUG_TESTS = \ bug168.smt \ bug187.smt2 \ bug216.smt2 \ - bug220.smt2 + bug220.smt2 \ + bug239.smt TESTS = $(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(BUG_TESTS) -- cgit v1.2.3