From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 10 May 2020 20:58:47 +0000 (+0200)
Subject: :fire: Update header
X-Git-Tag: nightly~1586
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=e509f7f95f8c2fd5e3ff637c799dc2fd506c8e14;p=gwion.git

:fire: Update header
---

diff --git a/include/env/env.h b/include/env/env.h
index 231cd078..256dfbcd 100644
--- a/include/env/env.h
+++ b/include/env/env.h
@@ -42,7 +42,7 @@ ANN Value mk_class(const Env env, const Type base);
 ANEW ANN m_str tl2str(const Env, const Type_List); // in type_decl.c
 ANN m_bool compat_func(const __restrict__ Func_Def, const __restrict__ Func_Def);
 ANN Type known_type(const Env env, Type_Decl*);
-ANN Type type_nonnull(const Env env, const Type base);
+ANN Type nonnul_type(const Env env, const Type base);
 ANN Type force_type(const Env env, const Type t);
 ANN Type prim_ref(const Env env, const Type t, const Type_Decl* td);
 ANN m_bool env_access(const Env env, const ae_flag flag, const loc_t pos);