From e509f7f95f8c2fd5e3ff637c799dc2fd506c8e14 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Sun, 10 May 2020 22:58:47 +0200 Subject: [PATCH] :fire: Update header --- include/env/env.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); -- 2.43.0