Commit 464be7d3 authored by POTTIER Francois's avatar POTTIER Francois

Tiny doc update.

parent 894ed838
......@@ -2239,7 +2239,7 @@ $\mathstrut$ % Ensure correct indentation of the first question. Ugly.
between \texttt{menhir} and \texttt{menhir -{}-table}?} A (not quite
scientific) benchmark suggests that the parsers produced by \ocamlyacc and
\texttt{menhir -{}-table} have comparable speed, whereas those produced by
\texttt{menhir} are between 2 and 4 times faster. This benchmark excludes the
\texttt{menhir} are between 2 and 5 times faster. This benchmark excludes the
time spent in the lexer and in the semantic actions.
\question{Turning on \oinfer broke my \Makefile! What should I do?}
......
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