From: Jérémie Astor <fennecdjay@gmail.com>
Date: Mon, 16 May 2022 08:00:20 +0000 (+0200)
Subject: :art: Remove @internal
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=ac2dd499de7518877a899e04c19ad026f5dffead;p=gwion.git

:art: Remove @internal
---

diff --git a/plug b/plug
index 2292519f..c00e89c9 160000
--- a/plug
+++ b/plug
@@ -1 +1 @@
-Subproject commit 2292519f1bb205dd5c1463a8765dd029f453a9e6
+Subproject commit c00e89c9d448157d533a9c375c0d181387027f9a
diff --git a/src/lib/engine.c b/src/lib/engine.c
index fe93fe1b..894f68b7 100644
--- a/src/lib/engine.c
+++ b/src/lib/engine.c
@@ -140,10 +140,6 @@ ANN static m_bool import_core_libs(const Gwi gwi) {
   /*set_tflag(t_lambda, tflag_infer);*/
   GWI_BB(gwi_set_global_type(gwi, t_lambda, et_lambda))
 
-  gwidoc(gwi, "type for internal pointer data.");
-  GWI_BB(gwi_typedef_ini(gwi, "int", "@internal"))
-  GWI_BB(gwi_typedef_end(gwi, ae_flag_none))
-
   GWI_BB(import_object_op(gwi))
   GWI_BB(import_values(gwi))
   GWI_BB(import_union(gwi))