Commit c857d184 authored by POTTIER Francois's avatar POTTIER Francois

Re-typo.

parent 99e41355
......@@ -4,7 +4,7 @@
* Fix the termination test that takes place before parameterized symbols are
expanded away. The previous test was both unsound (it would accept grammars
whose termination did not terminate) and incomplete (it would reject
whose expansion did not terminate) and incomplete (it would reject
grammars whose expansion did terminate). The new test is believed to be
sound and complete.
......
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