Fix for last commit.

diff --git a/contrib/run-script-smtcomp2015 b/contrib/run-script-smtcomp2015
index 3602eb57616a2662a7e21c62d8d2a56f5be28cca..c46671c081e102014235db7b4cef197229177259 100755 (executable)
--- a/contrib/run-script-smtcomp2015
+++ b/contrib/run-script-smtcomp2015
@@ -69,10 +69,10 @@ ALIA|AUFLIA|AUFLIRA|AUFNIRA|BV|UF|UFBV|UFIDL|UFLIA|UFLRA|UFNIA)
 LIA|LRA|NIA|NRA)
   trywith 60 --cbqi --no-cbqi-sat --full-saturate-quant
   trywith 60 --full-saturate-quant
-  trywith 60 --cbqi --no-cbqi-sat --cbqi --no-cbqi-sat-recurse --full-saturate-quant
+  trywith 60 --cbqi --no-cbqi-sat --cbqi-recurse --full-saturate-quant
   trywith 180 --qcf-tconstraint --full-saturate-quant
-  trywith 240 --cbqi --no-cbqi-sat --cbqi --no-cbqi-sat-recurse --full-saturate-quant
-  finishwith --cbqi --no-cbqi-sat --cbqi --no-cbqi-sat-recurse --pre-skolem-quant --full-saturate-quant
+  trywith 240 --cbqi --no-cbqi-sat --cbqi-recurse --full-saturate-quant
+  finishwith --cbqi --no-cbqi-sat --cbqi-recurse --pre-skolem-quant --full-saturate-quant
   ;;
 QF_AUFBV)
   trywith 600