From 53eb936b5cf34f92f59fcb42af8e5281db826d98 Mon Sep 17 00:00:00 2001
From: Clark Barrett <barrett@cs.nyu.edu>
Date: Thu, 26 May 2016 21:03:39 -0700
Subject: [PATCH] Fixed bug in run script

---
 contrib/run-script-smtcomp2016 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/contrib/run-script-smtcomp2016 b/contrib/run-script-smtcomp2016
index 5c14f7903..58b281b4c 100644
--- a/contrib/run-script-smtcomp2016
+++ b/contrib/run-script-smtcomp2016
@@ -92,6 +92,7 @@ QF_AUFBV)
   trywith 600
   finishwith --decision=justification-stoponly
   ;;
+QF_ABV)
   trywith 50 --ite-simp --simp-with-care --repeat-simp --arrays-weak-equiv
   trywith 500 --arrays-weak-equiv
   finishwith --ite-simp --simp-with-care --repeat-simp --arrays-weak-equiv
-- 
2.30.2