address PR #133 review

formalsec · Jun 27, 2024 · 06047d7 · 06047d7
1 parent 2d5520b
commit 06047d7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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"