Commit 9508894d authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

remove unused and unexported print_qualid from Denv

parent 5590facd
......@@ -17,10 +17,6 @@ let error ?loc e = match loc with
| None -> raise (Error e)
| Some loc -> raise (Loc.Located (loc, Error e))
let rec print_qualid fmt = function
| Qident s -> fprintf fmt "%s"
| Qdot (m, s) -> fprintf fmt "%a.%s" print_qualid m
let report fmt = function
| AnyMessage s ->
fprintf fmt "%s" s
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