Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit 1bc524b6 authored by Bruno Guillaume's avatar Bruno Guillaume
Browse files

add dummy function to_json needed for grewpy

parent 43521f9a
......@@ -296,6 +296,8 @@ module New_grs = struct
(fun () ->
Grew_grs.New_grs.domain grs
) ()
let to_json _ = failwith "TODO New_grs.to_json"
end
(* ==================================================================================================== *)
......
......@@ -139,6 +139,9 @@ module New_grs : sig
val dump: t -> unit
val domain: t -> Domain.t option
val to_json: t -> string
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