From 06047d7fb3e224ef7f9eb1f3679005c8e62c9ad7 Mon Sep 17 00:00:00 2001
From: arckenimuz <andreffnascimento@outlook.com>
Date: Thu, 27 Jun 2024 16:24:16 +0100
Subject: [PATCH] address PR #133 review

---
 ECMA-SL/semantics/core/concrete/external.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/ECMA-SL/semantics/core/concrete/external.ml b/ECMA-SL/semantics/core/concrete/external.ml
index 044d828fe6..700f74da2a 100644
--- a/ECMA-SL/semantics/core/concrete/external.ml
+++ b/ECMA-SL/semantics/core/concrete/external.ml
@@ -41,7 +41,6 @@ module Impl = struct
     | App (`Op "symbol", [ Str _ ]) -> Str "symbol"
     | App (`Op "loc", [ Int _ ]) -> Str "object"
     | List _ -> Str "list"
-    | App (`Op "type", [ Str _ ]) -> Str "type"
     | App (`Op _, _) -> Str "curry"
     | _ -> unexpected_err 1 op_lbl "value type"