1 files changed, 20 insertions, 20 deletions
diff --git a/lib/Solver/CMakeLists.txt b/lib/Solver/CMakeLists.txt
index 7864b2de..20da74da 100644
--- a/lib/Solver/CMakeLists.txt
+++ b/lib/Solver/CMakeLists.txt
@@ -7,26 +7,26 @@
 #
 #===------------------------------------------------------------------------===#
 klee_add_component(kleaverSolver
-	CachingSolver.cpp
-	CexCachingSolver.cpp
-	ConstantDivision.cpp
-	CoreSolver.cpp
-	DummySolver.cpp
-	FastCexSolver.cpp
-	IncompleteSolver.cpp
-	IndependentSolver.cpp
-	MetaSMTSolver.cpp
-	PCLoggingSolver.cpp
-	QueryLoggingSolver.cpp
-	SMTLIBLoggingSolver.cpp
-	Solver.cpp
-	SolverImpl.cpp
-	SolverStats.cpp
-	STPBuilder.cpp
-	STPSolver.cpp
-	ValidatingSolver.cpp
-	Z3Builder.cpp
-	Z3Solver.cpp
+  CachingSolver.cpp
+  CexCachingSolver.cpp
+  ConstantDivision.cpp
+  CoreSolver.cpp
+  DummySolver.cpp
+  FastCexSolver.cpp
+  IncompleteSolver.cpp
+  IndependentSolver.cpp
+  MetaSMTSolver.cpp
+  PCLoggingSolver.cpp
+  QueryLoggingSolver.cpp
+  SMTLIBLoggingSolver.cpp
+  Solver.cpp
+  SolverImpl.cpp
+  SolverStats.cpp
+  STPBuilder.cpp
+  STPSolver.cpp
+  ValidatingSolver.cpp
+  Z3Builder.cpp
+  Z3Solver.cpp
 )
 
 set(LLVM_COMPONENTS