Commit e01f1805 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

[trywhy3] : Clear the error message attached to a task description.

parent 53b2d976
......@@ -57,7 +57,7 @@ module Console =
(* see alt_ergo_worker.ml and the Tasks case in print_why3_output *)
let span_msg = Dom_html.getElementById (id ^ "_msg") in
match res with
Valid -> ()
Valid -> span_msg ## innerHTML <- Js.string ""
| Unknown msg -> span_msg ## innerHTML <- (Js.string (" (" ^ msg ^ ")"))
| Invalid msg -> span_msg ## innerHTML <- (Js.string (" (" ^ msg ^ ")"))
......
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