diff --git a/CHANGES.md b/CHANGES.md index fbebce0f333645a5cd39bd0cdad8541cb1df912c..0f57b899cfc2e2f153042bf80f1147aab2a46d66 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -11,6 +11,9 @@ * Add an undocumented option `--automaton-graph` which produces an (incomplete) graphical representation of the LR(1) automaton. +* At log level `--log-automaton 2`, Menhir now shows which states have a + conflict between multiple `%on_error_reduce` declarations. + ## 2020/12/01 * The module `MenhirLib.ErrorReports` is extended with new functions: