Merge pull request #10 from MartinNowack/Typos

Fixed typos.

2 files changed, 3 insertions, 3 deletions

diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index a9d6b791..b7318a2c 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -287,7 +287,7 @@ private:
 
   /// Add the given (boolean) condition as a constraint on state. This
   /// function is a wrapper around the state's addConstraint function
-  /// which also manages manages propogation of implied values,
+  /// which also manages propagation of implied values,
   /// validity checks, and seed patching.
   void addConstraint(ExecutionState &state, ref<Expr> condition);
 
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 0c485571..03e2e62b 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -670,8 +670,8 @@ static int initEnv(Module *mainModule) {
 }
 
 
-// This is a terrible hack until we get some real modelling of the
-// system. All we do is check the undefined symbols and m and warn about
+// This is a terrible hack until we get some real modeling of the
+// system. All we do is check the undefined symbols and warn about
 // any "unrecognized" externals and about any obviously unsafe ones.
 
 // Symbols we explicitly support