diff --git a/CMakeLists.txt b/CMakeLists.txt
index a28ab98d..08d124c7 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -29,7 +29,7 @@ project(STA VERSION 2.6.0
 )
 
 option(CUDD_DIR "CUDD BDD package directory")
-option(USE_TCL_READLINE "Use TCL readliine package" ON)
+option(USE_TCL_READLINE "Use TCL readline package" ON)
 option(USE_SANITIZE "Compile with santize address enabled")
 
 # Turn on to debug compiler args.