Commit fafe3403 authored by POTTIER Francois's avatar POTTIER Francois

Fix typo in manual.

parent 4e3869ca
Pipeline #161552 passed with stages
in 25 seconds
......@@ -1786,7 +1786,7 @@ token, it makes sense for it to \emph{shift} that token.
\label{fig:reducing:text}
\end{figure}
In our example, the proof that shifting is possible is the derivation tree
In our example, the proof that reducing is possible is the derivation tree
shown in Figures~\ref{fig:reducing:tree} and~\ref{fig:reducing:text}. Again,
the sentential form found at the fringe of the tree begins with the conflict
string, followed with the conflict token.
......
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