Commit c7120379 authored by Gérard Huet's avatar Gérard Huet
Browse files

typo corrected

parent 7a89e031
......@@ -136,7 +136,7 @@ value call_back text cpts (k,seg) conflict =
anchor color (invoke cgi_select) sign ^
if unanalysed seg then "" else anchor Red_ (invoke cgi_reject) x_sign
;
value call_reader text cpts mode = (* mode = "o", "p", "n" or "t" *)
value call_reader text cpts mode = (* mode = "o", "p", "g" or "t" *)
let cgi = reader_cgi ^ "?" ^ text ^ ";mode=" ^ mode ^
";cpts=" ^ string_points cpts in
anchor Green_ (invoke cgi) check_sign
......
Supports Markdown
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