about summary refs log tree commit diff homepage
path: root/lib/Core
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2016-11-18 18:26:49 +0000
committerDan Liew <delcypher@gmail.com>2016-11-18 21:01:20 +0000
commitbc3973450bfb3c4d4d47e4fe340fa864cb1cf7df (patch)
tree217c4ef1f573a34f0242e7466f97c4e3ec8ffbcd /lib/Core
parentdda296e09ee53ed85ccf1c3f08e7e809adce612e (diff)
downloadklee-bc3973450bfb3c4d4d47e4fe340fa864cb1cf7df.tar.gz
[CMake] Remove use of tabs in `CMakeLists.txt` files.
Diffstat (limited to 'lib/Core')
-rw-r--r--lib/Core/CMakeLists.txt38
1 files changed, 19 insertions, 19 deletions
diff --git a/lib/Core/CMakeLists.txt b/lib/Core/CMakeLists.txt
index 79c529d0..86ce3cfc 100644
--- a/lib/Core/CMakeLists.txt
+++ b/lib/Core/CMakeLists.txt
@@ -7,25 +7,25 @@
 #
 #===------------------------------------------------------------------------===#
 klee_add_component(kleeCore
-	AddressSpace.cpp
-	CallPathManager.cpp
-	Context.cpp
-	CoreStats.cpp
-	ExecutionState.cpp
-	Executor.cpp
-	ExecutorTimers.cpp
-	ExecutorUtil.cpp
-	ExternalDispatcher.cpp
-	ImpliedValue.cpp
-	Memory.cpp
-	MemoryManager.cpp
-	PTree.cpp
-	Searcher.cpp
-	SeedInfo.cpp
-	SpecialFunctionHandler.cpp
-	StatsTracker.cpp
-	TimingSolver.cpp
-	UserSearcher.cpp
+  AddressSpace.cpp
+  CallPathManager.cpp
+  Context.cpp
+  CoreStats.cpp
+  ExecutionState.cpp
+  Executor.cpp
+  ExecutorTimers.cpp
+  ExecutorUtil.cpp
+  ExternalDispatcher.cpp
+  ImpliedValue.cpp
+  Memory.cpp
+  MemoryManager.cpp
+  PTree.cpp
+  Searcher.cpp
+  SeedInfo.cpp
+  SpecialFunctionHandler.cpp
+  StatsTracker.cpp
+  TimingSolver.cpp
+  UserSearcher.cpp
 )
 
 # TODO: Work out what the correct LLVM components are for