2 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index b0af78a1..2baf61e9 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -2826,7 +2826,7 @@ void Executor::executeAlloc(ExecutionState &state,
                UltExpr::create(ConstantExpr::alloc(1<<31, W), size), 
                true);
         if (hugeSize.first) {
-          klee_message("NOTE: found huge malloc, returing 0");
+          klee_message("NOTE: found huge malloc, returning 0");
           bindLocal(target, *hugeSize.first, 
                     ConstantExpr::alloc(0, Context::get().getPointerWidth()));
         }
diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp
index 2ef80acc..1a0ca406 100644
--- a/lib/Core/SpecialFunctionHandler.cpp
+++ b/lib/Core/SpecialFunctionHandler.cpp
@@ -511,7 +511,7 @@ void SpecialFunctionHandler::handleGetErrno(ExecutionState &state,
                                             std::vector<ref<Expr> > &arguments) {
   // XXX should type check args
   assert(arguments.size()==0 &&
-         "invalid number of arguments to klee_get_obj_size");
+         "invalid number of arguments to klee_get_errno");
   executor.bindLocal(target, state,
                      ConstantExpr::create(errno, Expr::Int32));
 }