1 files changed, 13 insertions, 13 deletions
diff --git a/lib/Expr/CMakeLists.txt b/lib/Expr/CMakeLists.txt
index c7dbb8b7..4c63fe5b 100644
--- a/lib/Expr/CMakeLists.txt
+++ b/lib/Expr/CMakeLists.txt
@@ -7,19 +7,19 @@
 #
 #===------------------------------------------------------------------------===#
 klee_add_component(kleaverExpr
-	ArrayCache.cpp
-	Assigment.cpp
-	Constraints.cpp
-	ExprBuilder.cpp
-	Expr.cpp
-	ExprEvaluator.cpp
-	ExprPPrinter.cpp
-	ExprSMTLIBPrinter.cpp
-	ExprUtil.cpp
-	ExprVisitor.cpp
-	Lexer.cpp
-	Parser.cpp
-	Updates.cpp
+  ArrayCache.cpp
+  Assigment.cpp
+  Constraints.cpp
+  ExprBuilder.cpp
+  Expr.cpp
+  ExprEvaluator.cpp
+  ExprPPrinter.cpp
+  ExprSMTLIBPrinter.cpp
+  ExprUtil.cpp
+  ExprVisitor.cpp
+  Lexer.cpp
+  Parser.cpp
+  Updates.cpp
 )
 
 set(LLVM_COMPONENTS