From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Fri, 11 Oct 2019 13:56:55 +0000 (+0200)
Subject: :art: Fix get_type_name
X-Git-Tag: nightly~2179
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=fbf6736b29f74a9e6841448e5dc4152262b05793;p=gwion.git

:art: Fix get_type_name
---

diff --git a/src/oo/type.c b/src/oo/type.c
index d9a03f1b..d5f6503e 100644
--- a/src/oo/type.c
+++ b/src/oo/type.c
@@ -171,7 +171,6 @@ ANN m_str get_type_name(const Env env, const m_str s, const m_uint index) {
   ++name;
   while(*name++) {
     if(*name == '<') {
-      c[i++] = *name;
       lvl++;
       name++;
     } else if(*name == '~' && !lvl--)