From f14ffa27b13957744436dd67993f5c8bc013b974 Mon Sep 17 00:00:00 2001
From: Alexander Weigl <wadoon@users.noreply.github.com>
Date: Sun, 23 Jun 2024 03:17:10 +0200
Subject: [PATCH] Update prove.sh

---
 BinarySearch/prove.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/BinarySearch/prove.sh b/BinarySearch/prove.sh
index 3879656..91df58b 100755
--- 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