From f488e6bbfc0f289351f31ba44641f198ba4a1026 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 4 Nov 2013 18:12:53 -0800
Subject: [PATCH] fix(lua): safe_function_wrapper

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

diff --git a/src/bindings/lua/util.cpp b/src/bindings/lua/util.cpp
index bc7a723590..578c2eedd5 100644
--- a/src/bindings/lua/util.cpp
+++ b/src/bindings/lua/util.cpp
@@ -9,6 +9,7 @@ Author: Leonardo de Moura
 #include <exception>
 #include <string>
 #include "util/exception.h"
+#include "util/debug.h"
 
 namespace lean {
 /**
@@ -40,7 +41,7 @@ int safe_function_wrapper(lua_State * L, lua_CFunction f){
         _error_msg = e.what();
         error_msg  = _error_msg.c_str();
     } catch(...) {
-        error_msg = "unknown error";
+        throw;
     }
     return luaL_error(L, error_msg);
 }