Changing the internal variables prefixes (#918)

OCamlPro · Oct 30, 2023 · 42ed410 · 42ed410
1 parent 6a16170
commit 42ed410
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/lib/structures/symbols.ml b/src/lib/structures/symbols.ml
@@ -411,8 +411,8 @@ module MakeId(S : sig val prefix : string end) : Id = struct
   let is_id = Compat.String.starts_with ~prefix:S.prefix
 end
 
-module InternalId = MakeId(struct let prefix = "!k" end)
-module SkolemId = MakeId(struct let prefix = "!?__" end)
+module InternalId = MakeId(struct let prefix = ".k" end)
+module SkolemId = MakeId(struct let prefix = ".?__" end)
 (* garder le suffixe "__" car cela influence l'ordre *)
 
 let fresh_internal_string () = InternalId.fresh ()