1 files changed, 1 insertions, 1 deletions
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));
 }