Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

wrong order of conditions

  • Loading branch information...
commit 5b6058bbe9d509eddc0d69a4e19771870141497a 1 parent 9fa8ec3
Jesse Alama authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  reprove.sh
View
2  reprove.sh
@@ -285,7 +285,7 @@ function keep_proving() {
unused_principles="$prover_directory/$theory_basename.$proof_attempt.proof.unused-principles";
- while [ $proof_attempt = "1" -o $proof_attempt -lt "10" -o -s $unused_principles ]; do
+ while [ $proof_attempt = "1" -o -s $unused_principles -o $proof_attempt -lt "10"]; do
echo -n "* Proof attempt $proof_attempt..."
Please sign in to comment.
Something went wrong with that request. Please try again.