From 2484eab2cb8cab9e74891fe62dfa2694c5d973e2 Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <viktor.kuncak@epfl.ch>
Date: Mon, 16 Sep 2024 12:00:25 +0200
Subject: [PATCH] Removed echo

---
 stainless-ci.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/stainless-ci.sh b/stainless-ci.sh
index cccb36ed3..97da8e93e 100755
--- a/stainless-ci.sh
+++ b/stainless-ci.sh
@@ -121,7 +121,6 @@ else
     wget https://github.com/sbt/sbt/releases/download/v1.10.1/$SBT_NAME -O $SBT_DIR/$SBT_NAME --no-verbose
     echo "  unpack $SBT_NAME"
     cd $SBT_DIR
-    echo "  now I am in " `pwd`
     tar xfz $SBT_NAME
     
     cd $ROOT_DIR