Commit 38f5d0c8 authored by MARCHE Claude's avatar MARCHE Claude

temporary commit (why3web does not compile, sorry)

parent 05164df4
......@@ -69,7 +69,7 @@ let handle_script s args =
end
| "getNotifications" ->
let n = P.get_notifications () in
Pp.sprintf "getNotifications: %a@." (Pp.print_list Pp.space print_notification) n
if n <> [] then Pp.sprintf "getNotifications: %a@." (Pp.print_list Pp.space print_notification) n
| _ -> "bad request"
let plist fmt l =
......
open Call_provers
type prover = string
......@@ -8,6 +9,7 @@ type node_ID = int
val root_node : node_ID
module type History_type = sig
type history
......
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