Commit ce3e302f authored by Guillaume Melquiond's avatar Guillaume Melquiond

Avoid warning related to js_of_ocaml.

parent d4d1b0b3
......@@ -9,6 +9,8 @@
(* *)
(********************************************************************)
open Js_of_ocaml
type id = string
type loc = int * int * int * int
type why3_loc = string * (int * int * int) (* kind, line, column, length *)
......
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