1 files changed, 8 insertions, 8 deletions
diff --git a/lib/Support/CMakeLists.txt b/lib/Support/CMakeLists.txt
index 0e76062a..4e44fbc6 100644
--- a/lib/Support/CMakeLists.txt
+++ b/lib/Support/CMakeLists.txt
@@ -7,14 +7,14 @@
 #
 #===------------------------------------------------------------------------===#
 klee_add_component(kleeSupport
-	CompressionStream.cpp
-	ErrorHandling.cpp
-	MemoryUsage.cpp
-	PrintVersion.cpp
-	RNG.cpp
-	Time.cpp
-	Timer.cpp
-	TreeStream.cpp
+  CompressionStream.cpp
+  ErrorHandling.cpp
+  MemoryUsage.cpp
+  PrintVersion.cpp
+  RNG.cpp
+  Time.cpp
+  Timer.cpp
+  TreeStream.cpp
 )
 
 target_link_libraries(kleeSupport PRIVATE ${ZLIB_LIBRARIES})