]> Nishi Git Mirror - gwion.git/commitdiff
:art: Enforce use of name_valid
authorfennecdjay <astor.jeremie@wanadoo.fr>
Sat, 26 Oct 2019 19:21:44 +0000 (21:21 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Sat, 26 Oct 2019 19:21:44 +0000 (21:21 +0200)
src/lib/import.c

index 8d11315160fbbb68585195b8f3592759bc93d5ab..f34d135d3426f67e94b97d5db8b2818eba6c213f 100644 (file)
@@ -119,8 +119,7 @@ ANN2(1,2) Type gwi_mk_type(const Gwi gwi NUSED, const m_str name, const m_uint s
 }
 
 ANN m_int gwi_add_type(const Gwi gwi, const Type type) {
-  if(type->name[0] != '@')
-    CHECK_BB(name_valid(gwi, type->name));
+  CHECK_BB(name_valid(gwi, type->name));
   env_add_type(gwi->gwion->env, type);
   return (m_int)type->xid;
 }