From f4283382cdf7df8463d62410594181cdb851a0ff Mon Sep 17 00:00:00 2001 From: Steven de Oliveira Date: Fri, 27 Oct 2023 16:14:27 +0200 Subject: [PATCH] Changing the internal variables prefixes --- src/lib/structures/symbols.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lib/structures/symbols.ml b/src/lib/structures/symbols.ml index b9b0adac4..b8a9cbb02 100644 --- 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 ()