diff --git a/bin/get_fstar_z3.sh b/bin/get_fstar_z3.sh
index 75ac6c9dd9b..9a51bdefb82 100755
--- a/bin/get_fstar_z3.sh
+++ b/bin/get_fstar_z3.sh
@@ -71,7 +71,6 @@ download_z3() {
 
 full_install_z3() {
   local url version dest_dir base_name
-  echo wat
 
   url="$1"
   version="$2"