From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Wed, 9 Oct 2019 22:33:34 +0000 (+0200)
Subject: :shirt: Remove useless functions
X-Git-Tag: nightly~2198^2~41
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=b2927433d043800bb61480ebe3e5347a3272ac8c;p=gwion.git

:shirt: Remove useless functions
---

diff --git a/include/env.h b/include/env.h
index 313fa0de..5fd9a351 100644
--- a/include/env.h
+++ b/include/env.h
@@ -34,7 +34,6 @@ ANN2(1,3) m_uint env_push(const Env, const Type, const Nspc);
 ANN static inline m_uint env_push_global(const Env env) { return env_push(env, NULL, env->global_nspc); }
 ANN void env_pop(const Env, const m_uint);
 ANN Map env_label(const Env);
-ANN Nspc env_nspc(const Env);
 ANN Type scan_type(const Env, const Type, const Type_Decl*);
 ANN Type type_decl_resolve(const Env, const Type_Decl*);
 // tl2str returns a mp_alloced string
diff --git a/src/oo/env_utils.c b/src/oo/env_utils.c
index 52dd0a9d..dc029ed0 100644
--- a/src/oo/env_utils.c
+++ b/src/oo/env_utils.c
@@ -15,10 +15,6 @@ ANN Map env_label(const Env env) {
   return &env->context->lbls;
 }
 
-ANN Nspc env_nspc(const Env env) {
-  return env->context->nspc;
-}
-
 #define GET(a,b) ((a) & (b)) == (b)
 ANN m_bool env_access(const Env env, const ae_flag flag, const loc_t pos) {
   if(env->scope->depth) {