Commit 08c7b613 authored by Sylvain Dailler's avatar Sylvain Dailler

Remove useless ppunique.

parent a3fd11c4
......@@ -613,6 +613,3 @@ let () = Exn_printer.register
fprintf fmt "Cannot prove the termination of %a" print_ls ls
| _ -> raise exn
end
(* TODO To remove *)
let ppunique = Ident.string_unique pprinter
......@@ -64,6 +64,3 @@ val print_task : formatter -> task -> unit
val print_theory : formatter -> theory -> unit
val print_namespace : formatter -> string -> theory -> unit
(* TODO dont use this and remove it *)
val ppunique : string -> string
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment