Update prove.sh

KeYProject · Jun 23, 2024 · f14ffa2 · f14ffa2
1 parent 0802c3d
commit f14ffa2
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/BinarySearch/prove.sh b/BinarySearch/prove.sh
@@ -4,5 +4,3 @@ CI_TOOL=../tools/key-citool-1.6.0-mini.jar
 KEY=../tools/key-2.13.0-exe.jar
 
 java -cp $KEY:$CI_TOOL de.uka.ilkd.key.CheckerKt --proof-path proofs project.key
-
-# project.key 2>&1 | tee prove.log