From 72cae59d28aa43b734148090feb3b8cf4ecd2074 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sun, 3 Feb 2013 16:05:37 -0500
Subject: Some cleanup of miplib regressions and options

---
 test/regress/regress0/arith/miplib-opt1217--27.smt.expect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/regress/regress0/arith/miplib-opt1217--27.smt.expect')

diff --git a/test/regress/regress0/arith/miplib-opt1217--27.smt.expect b/test/regress/regress0/arith/miplib-opt1217--27.smt.expect
index 04a3504d7..f6ae1d85b 100644
--- a/test/regress/regress0/arith/miplib-opt1217--27.smt.expect
+++ b/test/regress/regress0/arith/miplib-opt1217--27.smt.expect
@@ -1,3 +1,3 @@
-% COMMAND-LINE: --tlimit 5000
+% COMMAND-LINE: --enable-miplib-trick
 % EXPECT: unsat
 % EXIT: 20
-- 
cgit v1.2.3