diff options
Diffstat (limited to 'README-CMake.md')
| -rw-r--r-- | README-CMake.md | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/README-CMake.md b/README-CMake.md index 5828e319..cacdc637 100644 --- a/README-CMake.md +++ b/README-CMake.md @@ -93,6 +93,4 @@ cmake -DCMAKE_BUILD_TYPE=Release /path/to/klee/src * `USE_CMAKE_FIND_PACKAGE_LLVM` (BOOLEAN) - Use `find_package(LLVM CONFIG)` to find LLVM. -* `USE_CXX11` (BOOLEAN) - Use C++11. - * `WARNINGS_AS_ERRORS` (BOOLEAN) - Treat warnings as errors when building KLEE. |