From 6e6f31835ea8fb7090b5aaadc97514b2029872bc Mon Sep 17 00:00:00 2001
From: Dibyendu Majumdar <noemail>
Date: Sat, 14 Nov 2015 23:45:18 +0000
Subject: [PATCH] fix compilation error due to warning

---
 src/ravi_llvmluaapi.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ravi_llvmluaapi.cpp b/src/ravi_llvmluaapi.cpp
index d54de76..2059d08 100644
--- a/src/ravi_llvmluaapi.cpp
+++ b/src/ravi_llvmluaapi.cpp
@@ -67,7 +67,7 @@ static void l_getmetatable(lua_State *L, const char *meta_key) {
 // meta_key is the key assigned to the meta table of the userdata
 static void *l_testudata(lua_State *L, int arg_index, const char *meta_key) {
   void *p = lua_touserdata(L, arg_index);
-  int n = lua_gettop(L);
+  //int n = lua_gettop(L);
   if (p != NULL) {                                // value is a userdata?
     if (lua_getmetatable(L, arg_index)) {         // does it have a metatable?
       lua_pushlightuserdata(L, (void *)meta_key); // meta_key
@@ -79,7 +79,7 @@ static void *l_testudata(lua_State *L, int arg_index, const char *meta_key) {
       lua_pop(L, 2); // remove both metatables
     }
   }
-  lua_assert(n == lua_gettop(L));
+  //lua_assert(n == lua_gettop(L));
   return p; /* to avoid warnings */
 }