Update mueval script to mueval 0.9.1.1

Christoph-D · Feb 15, 2014 · 4fa5283 · 4fa5283
1 parent 0f40b1a
commit 4fa5283
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/mueval/eval.sh b/mueval/eval.sh
@@ -29,9 +29,9 @@ if [[ $QUERY = 'help' ]]; then
     exit 0
 fi
 
-RESULT="$(mueval --rlimits \
+RESULT="$(mueval \
     $([[ $MODE = 'type' ]] && echo '--inferred-type') \
-    --timelimit="$TIME_LIMIT_SECONDS" \
+    --time-limit="$TIME_LIMIT_SECONDS" \
     --expression "$QUERY" 2>&1)"
 MUEVAL_EXIT_CODE=$?