diff options
| author | Camil Staps | 2018-07-01 17:51:44 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-07-01 17:51:44 +0200 |
| commit | abfb96c57653cf9e368af805b85b8cf579fbff2d (patch) | |
| tree | 522fb8b61fd34fb117c30b3e0a1e8542de3b5966 | |
| parent | Fix printing of integers in debug graphs (diff) | |
Fix grammar
| -rw-r--r-- | doc/grammar.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/grammar.tex b/doc/grammar.tex index 111cfc8..17031b4 100644 --- a/doc/grammar.tex +++ b/doc/grammar.tex @@ -7,7 +7,7 @@ \begin{grammar} <Fuspel> ::= <Statement-list> - <Statement-list> ::= <Rerwite> `;' <Rewrite-list> + <Statement-list> ::= <Rewrite> `;' <Rewrite-list> \alt <Comment> <Statement-list> \alt <empty> |