Fix minor typo
This commit is contained in:
parent
4337eb82fe
commit
d7de166e05
|
|
@ -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.
|
||||
|
|
|
|||
Loading…
Reference in New Issue