From bc3973450bfb3c4d4d47e4fe340fa864cb1cf7df Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Fri, 18 Nov 2016 18:26:49 +0000
Subject: [CMake] Remove use of tabs in `CMakeLists.txt` files.

---
 lib/Solver/CMakeLists.txt | 40 ++++++++++++++++++++--------------------
 1 file changed, 20 insertions(+), 20 deletions(-)

(limited to 'lib/Solver')

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
-- 
cgit 1.4.1