From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Tue, 26 Nov 2019 07:48:30 +0000 (+0100)
Subject: :shirt: Remove debug print
X-Git-Tag: nightly~2076^2~4
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=fababb2364a2d647f84a39e03af6d02bd0cbe5b1;p=gwion.git

:shirt: Remove debug print
---

diff --git a/src/lib/prim.c b/src/lib/prim.c
index e0958e83..5385ce33 100644
--- a/src/lib/prim.c
+++ b/src/lib/prim.c
@@ -75,7 +75,6 @@ static OP_CHECK(opck_int_range) {
   const Exp exp = (Exp)data;
   const Range *range = exp->d.prim.d.range;
   const Exp e = range->start ?: range->end;
-puts(e->type->name);
   return array_type(env, e->type, 1);
 }