remove debug message

FStarLang · Jan 7, 2025 · f84d07b · f84d07b
1 parent b3c9524
commit f84d07b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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"