:art: Remove @internal

diff --git a/plug b/plug
index 2292519f1bb205dd5c1463a8765dd029f453a9e6..c00e89c9d448157d533a9c375c0d181387027f9a 160000 (submodule)
--- 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 fe93fe1b96e440f5320e124d702db0b4f9ade554..894f68b7330ab284bf33549ce4a00c4b402d811c 100644 (file)
--- 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))