From 46e95393e39eca02a7f1e69bd343b6286eddd5c4 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 13 Jun 2014 11:00:24 -0400
Subject: [PATCH] update application track script too

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

diff --git a/contrib/run-script-smtcomp2014-application b/contrib/run-script-smtcomp2014-application
index c754818b7..16ee64bff 100755
--- a/contrib/run-script-smtcomp2014-application
+++ b/contrib/run-script-smtcomp2014-application
@@ -30,7 +30,7 @@ LIA|LRA|NIA|NRA)
 QF_BV)
   runcvc4 --bv-eq-slicer=auto --decision=justification
   ;;
-QF_AX)
+QF_AUFLIA|QF_AX)
   runcvc4 --no-arrays-eager-index --arrays-eager-lemmas
   ;;
 *)
-- 
2.30.2