From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Tue, 15 Sep 2020 22:05:32 +0000 (+0200)
Subject: :art: Finish the job
X-Git-Tag: nightly~1290
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=8d566add85c7196ec4905e2074a937bb53efa054;p=gwion.git

:art: Finish the job
---

diff --git a/src/env/env.c b/src/env/env.c
index c232a6b7..e5360419 100644
--- a/src/env/env.c
+++ b/src/env/env.c
@@ -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);