]> Nishi Git Mirror - gwion.git/commitdiff
:art: Finish the job
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 15 Sep 2020 22:05:32 +0000 (00:05 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 15 Sep 2020 22:05:32 +0000 (00:05 +0200)
src/env/env.c

index c232a6b7737b19204c2d0cc3efcfce1012cd5391..e5360419dc386eafb5e3cd63f0d7eb19f31a0329 100644 (file)
@@ -100,8 +100,8 @@ ANN m_bool type_engine_check_prog(const Env env, const Ast ast) {
   return traverse_ast(env, ast);
 }
 
-ANN m_bool type_engine_clean_prog(const Env env, const m_bool *r) {
-  const m_bool ret = (m_bool)r;
+ANN m_bool type_engine_clean_prog(const Env env, m_bool *r) {
+  const m_bool ret = (m_bool)*r;
   const Context ctx = env->context;
   if(ret > 0) //{
     nspc_commit(env->curr);