mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 09:55:19 +00:00
Code Activity

Fix typo spotted by @arrowd

Browse source
This commit is contained in:
Dan Liew 2016-03-03 20:52:08 +00:00
parent 017e9a2461
commit d12b558bea
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CMakeLists.txt
View file

@ -21,7 +21,7 @@ endif()
if (NOT (EXISTS "${CMAKE_SOURCE_DIR}/src/CMakeLists.txt")) if (NOT (EXISTS "${CMAKE_SOURCE_DIR}/src/CMakeLists.txt"))
message(FATAL_ERROR "Cannot find \"${CMAKE_SOURCE_DIR}/src/CMakeLists.txt\"" message(FATAL_ERROR "Cannot find \"${CMAKE_SOURCE_DIR}/src/CMakeLists.txt\""
". This probably means you need to run" ". This probably means you need to run"
"``python contrib/cmake/boostrap.py create``") "``python contrib/cmake/bootstrap.py create``")
endif() endif()
# This overrides the default flags for the different CMAKE_BUILD_TYPEs # This overrides the default flags for the different CMAKE_BUILD_TYPEs