Commit e7b97a93 authored by POTTIER Francois's avatar POTTIER Francois

Capitalization of two error messages.

parent fdf187d8
......@@ -104,7 +104,7 @@ end) = struct
let () =
if Terminal.n > 256 then
Error.error []
"The reachability analysis supports at most 256 terminal symbols.\n\
"the reachability analysis supports at most 256 terminal symbols.\n\
The grammar has %d terminal symbols." Terminal.n
(* ------------------------------------------------------------------------ *)
......
......@@ -82,7 +82,7 @@ module Run (T: sig end) = struct
| Some _ -> ());
Production.iterx (fun prod ->
if not (Keyword.KeywordSet.is_empty (Action.keywords (Production.action prod))) then
Error.error [] "The Coq back-end supports none of the $ keywords."
Error.error [] "the Coq back-end supports none of the $ keywords."
)
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