From 0e6df0a55bb2f0d40a4a3f89a118e28e9884fd39 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 16 Nov 2013 19:58:34 -0800
Subject: [PATCH] fix(lua): warning message

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/bindings/lua/util.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bindings/lua/util.cpp b/src/bindings/lua/util.cpp
index 0ca49e87c..e68633b3b 100644
--- a/src/bindings/lua/util.cpp
+++ b/src/bindings/lua/util.cpp
@@ -118,7 +118,7 @@ int safe_function_wrapper(lua_State * L, lua_CFunction f){
         error_msg  = _error_msg.c_str();
     } catch (elaborator_exception & e) {
         push_justification(L, e.get_justification());
-        lua_error(L);
+        return lua_error(L);
     } catch (exception & e) {
         _error_msg = e.what();
         error_msg  = _error_msg.c_str();