From ac2dd499de7518877a899e04c19ad026f5dffead Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= <fennecdjay@gmail.com>
Date: Mon, 16 May 2022 10:00:20 +0200
Subject: [PATCH] :art: Remove @internal

---
 plug             | 2 +-
 src/lib/engine.c | 4 ----
 2 files changed, 1 insertion(+), 5 deletions(-)

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))
-- 
2.43.0