about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2019-07-31 20:31:21 +0100
committerMartinNowack <martin.nowack@gmail.com>2019-08-01 09:27:03 +0100
commit7640a09981b6376da2ec75be7caf76661ef15f28 (patch)
tree99a392c744a981e312f8bc69c1a98942d9db1a05 /lib
parent5732990c805948249bdc3d43a52cfe050ad66a95 (diff)
downloadklee-7640a09981b6376da2ec75be7caf76661ef15f28.tar.gz
Renamed misspelled file
Diffstat (limited to 'lib')
-rw-r--r--lib/Expr/Assignment.cpp (renamed from lib/Expr/Assigment.cpp)0
-rw-r--r--lib/Expr/CMakeLists.txt2
2 files changed, 1 insertions, 1 deletions
diff --git a/lib/Expr/Assigment.cpp b/lib/Expr/Assignment.cpp
index 2fc569cc..2fc569cc 100644
--- a/lib/Expr/Assigment.cpp
+++ b/lib/Expr/Assignment.cpp
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