]> Nishi Git Mirror - gwion.git/commitdiff
:shirt: Remove debug print
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 26 Nov 2019 07:48:30 +0000 (08:48 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 26 Nov 2019 07:48:30 +0000 (08:48 +0100)
src/lib/prim.c

index e0958e8398855df24400c05c0d4fbbfdc285351f..5385ce33ca1e7bb86279300bbaba80ffa8c4de87 100644 (file)
@@ -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);
 }