Fresh skolem names must be fresh... of course!

OCamlPro · Feb 4, 2025 · 32a687f · 32a687f
1 parent e753a09
commit 32a687f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/structures/symbols.ml b/src/lib/structures/symbols.ml
@@ -479,7 +479,7 @@ let to_string_clean sy =
 let to_string sy =
   Fmt.str "%a" (AEPrinter.pp ~show_vars:true) sy
 
-let fresh_skolem_name base = name @@ Id.of_string ~ns:Skolem base
+let fresh_skolem_name base = name @@ Id.fresh ~base ~ns:Skolem ()
 
 let fresh_skolem_var base = Var.of_id @@ Id.fresh ~base ~ns:Skolem ()