Commit 754e5788 authored by MARCHE Claude's avatar MARCHE Claude

Remove new warning 60 generated by OCaml 4.04

parent c7703c36
......@@ -55,6 +55,8 @@ let print_ident_path fmt ip =
ip.ip_theory
(Pp.print_list Pp.dot Pp.string) ip.ip_qualid
(* dead code
let compare_ident_path x y =
let c = Lists.compare String.compare x.ip_library y.ip_library in
if c <> 0 then -c else (* in order to be bottom up *)
......@@ -71,9 +73,9 @@ module Pos = struct
end
module Mpos = Extmap.Make(Pos)
(*
module Spos = Extset.MakeOfMap(Mpos)
module Hpos = Exthtbl.Make(Pos)
*)
type meta_args = meta_arg list
......
......@@ -9,3 +9,16 @@
(* *)
(********************************************************************)
(*
These modules are used only for their side-effects at load time
Do not remove these from the .mli, it would trigger the new warning 60
of OCaml 4.04
*)
module Kept : sig end
module Lskept : sig end
module Lsinst : sig end
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