Typo in script

epfl-lara · Sep 6, 2024 · 1fce69f · 1fce69f
1 parent f25137c
commit 1fce69f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/install_stainless_and_solvers.sh b/install_stainless_and_solvers.sh
@@ -1,6 +1,6 @@
 TEMP_DIR="temp"
 SOLVERS_DIR="$1"
-STAINLESS_DIT="$2"
+STAINLESS_DIR="$2"
 
 mkdir -p "$SOLVERS_DIR"
 mkdir -p "$TEMP_DIR"