diff options
Diffstat (limited to 'lib/Basic/CMakeLists.txt')
-rw-r--r-- | lib/Basic/CMakeLists.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/Basic/CMakeLists.txt b/lib/Basic/CMakeLists.txt index 988a564e..d0a309c9 100644 --- a/lib/Basic/CMakeLists.txt +++ b/lib/Basic/CMakeLists.txt @@ -7,10 +7,10 @@ # #===------------------------------------------------------------------------===# klee_add_component(kleeBasic - CmdLineOptions.cpp - ConstructSolverChain.cpp - KTest.cpp - Statistics.cpp + CmdLineOptions.cpp + ConstructSolverChain.cpp + KTest.cpp + Statistics.cpp ) set(LLVM_COMPONENTS support |