From d7de166e05b71feb227c7e91a561c4da2b618704 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Mon, 5 Aug 2024 10:36:23 -0700 Subject: [PATCH] Fix minor typo --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.