]> Nishi Git Mirror - gwion.git/commitdiff
:bug: Fix op_parent
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 14 Sep 2020 09:30:54 +0000 (11:30 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 14 Sep 2020 09:30:54 +0000 (11:30 +0200)
src/parse/operator.c

index 6e944279eea39a1dd9bd80c23f8b1fc565e564ef..3ced6b22c29b500e7720ce0e3774576f18b89c73 100644 (file)
@@ -37,7 +37,7 @@ ANN void free_op_map(Map map, struct Gwion_ *gwion) {
 ANN static Type op_parent(const Env env, const Type t) {
   if(GET_FLAG(t, template) && GET_FLAG(t, ref)) {
     const Type type = typedef_base(t);
-    char name[strlen(type->name)];
+    char name[strlen(type->name) + 1];
     strcpy(name, type->name);
     const m_str post = strrchr(name, ':');
     *post = '\0';