address PR #128 review - 2

formalsec · Jun 25, 2024 · c00c951 · c00c951
1 parent a08ca62
commit c00c951
Show file tree

Hide file tree

Showing 11 changed files with 575 additions and 21 deletions.
diff --git a/ECMA-SL/semantics/core/concrete/external.ml b/ECMA-SL/semantics/core/concrete/external.ml
@@ -48,7 +48,7 @@ module Impl = struct
     | List _ -> Str "list"
     | App (`Op "NullType", [])
     | App (`Op "IntType", [])
-    | App (`Op "RealType", [])
+    | App (`Op "FltType", [])
     | App (`Op "StrType", [])
     | App (`Op "BoolType", [])
     | App (`Op "SymbolType", [])