]> Nishi Git Mirror - gwion.git/commitdiff
:art: Fix get_type_name
authorfennecdjay <astor.jeremie@wanadoo.fr>
Fri, 11 Oct 2019 13:56:55 +0000 (15:56 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Fri, 11 Oct 2019 13:56:55 +0000 (15:56 +0200)
src/oo/type.c

index d9a03f1b306986678ece1c97f6593bf51504ca24..d5f6503ec30e48dec44c59c8506919eb515b7bfa 100644 (file)
@@ -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--)