From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Wed, 5 Aug 2020 20:49:47 +0000 (+0200)
Subject: :fire: Remove useless file
X-Git-Tag: nightly~1406
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=bdefda67dd5ac87448782e8824be019298192e4e;p=gwion.git

:fire: Remove useless file
---

diff --git a/src/parse/compat_func.h b/src/parse/compat_func.h
deleted file mode 100644
index f8646a7a..00000000
--- a/src/parse/compat_func.h
+++ /dev/null
@@ -1,18 +0,0 @@
-#include "gwion_util.h"
-#include "gwion_ast.h"
-#include "gwion_env.h"
-
-ANN m_bool compat_func(const restrict Func_Def lhs, const restrict Func_Def rhs) {
-  Arg_List e1 = lhs->base->args;
-  Arg_List e2 = rhs->base->args;
-
-  while(e1 && e2) {
-    if(e1->type != e2->type)
-      return GW_ERROR;
-    e1 = e1->next;
-    e2 = e2->next;
-  }
-  if(e1 || e2) 
-    return GW_ERROR;
-  return GW_OK;
-}