From 51398ff82f7f611aaac64a8f2866f34942ffe642 Mon Sep 17 00:00:00 2001
From: Clark Barrett <barrett@cs.nyu.edu>
Date: Fri, 13 Jun 2014 00:38:33 -0700
Subject: [PATCH] Update for QF_AUFLIA strategy

---
 contrib/run-script-smtcomp2014 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/run-script-smtcomp2014 b/contrib/run-script-smtcomp2014
index a12cd4471..a6c53c1cd 100755
--- a/contrib/run-script-smtcomp2014
+++ b/contrib/run-script-smtcomp2014
@@ -75,7 +75,7 @@ QF_BV)
   trywith 600 --decision=internal --bitblast-eager
   finishwith --decision=justification --decision-use-weight --decision-weight-internal=usr1
   ;;
-QF_AX)
+QF_AUFLIA|QF_AX)
   finishwith --no-arrays-eager-index --arrays-eager-lemmas
   ;;
 *)
-- 
2.30.2