Commit 7a7a77e1 authored by Yann Régis-Gianas's avatar Yann Régis-Gianas

CoqBackend: Fix an outdated error message.

parent 68b12c4c
......@@ -70,7 +70,7 @@ module Run (T: sig end) = struct
Production.iterx (fun prod ->
let act = Production.action prod in
if Action.(has_syntaxerror act || has_leftstart act || has_leftend act) then
Error.error [] ("$syntaxerror, $start, $end, $i are not "^
Error.error [] ("$syntaxerror, $start, $end are not "^
"supported by the coq back-end"))
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