From d21305b156e17d319d5cf58ee9b05b6d495ad7c8 Mon Sep 17 00:00:00 2001
From: Mat <mail@mathias.is>
Date: Thu, 7 May 2020 15:33:12 +0300
Subject: [PATCH] Delete CoverityModel.cpp

---
 CoverityModel.cpp | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 CoverityModel.cpp

diff --git a/CoverityModel.cpp b/CoverityModel.cpp
deleted file mode 100644
index 3ee6447ee..000000000
--- a/CoverityModel.cpp
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
-extern "C" { 
-  struct lua_State;
-  struct tolua_Error
-  {
-          int index;
-          int array;
-          const char* type;
-  };
-  
-  void tolua_error (lua_State* L, const char* msg, tolua_Error* err)
-  {
-    __coverity_panic__();
-  }
-  
-}