From 7640a09981b6376da2ec75be7caf76661ef15f28 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Wed, 31 Jul 2019 20:31:21 +0100
Subject: Renamed misspelled file

---
 lib/Expr/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/Expr/CMakeLists.txt')

diff --git a/lib/Expr/CMakeLists.txt b/lib/Expr/CMakeLists.txt
index 74407295..f469a1de 100644
--- a/lib/Expr/CMakeLists.txt
+++ b/lib/Expr/CMakeLists.txt
@@ -11,7 +11,7 @@ klee_add_component(kleaverExpr
   ArrayExprOptimizer.cpp
   ArrayExprRewriter.cpp
   ArrayExprVisitor.cpp
-  Assigment.cpp
+  Assignment.cpp
   AssignmentGenerator.cpp
   Constraints.cpp
   ExprBuilder.cpp
-- 
cgit 1.4.1