1 files changed, 1 insertions, 0 deletions
diff --git a/INSTALL.md b/INSTALL.md
index 1e3d8eb..1238156 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -133,6 +133,7 @@ but you might need to install some extra packages and libraries for your system
 Compile and install SMTCoq by using the following commands in the src directory.
 
 ```bash
+./configure.sh
 make
 make install
 ```