From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 26 May 2016 08:26:09 +0000 (+0100)
Subject: doc/meta.tex: Fix nonterminal `<...>' to `@<...>'.
X-Git-Url: https://git.distorted.org.uk/~mdw/sod/commitdiff_plain/ba07ddc2280d5b8c8bd10e70cab195127a0984f3?ds=sidebyside

doc/meta.tex: Fix nonterminal `<...>' to `@<...>'.
---

diff --git a/doc/meta.tex b/doc/meta.tex
index bbe1964..640473e 100644
--- a/doc/meta.tex
+++ b/doc/meta.tex
@@ -293,7 +293,7 @@
 \section{Class finalization protocol} \label{sec:meta.finalization}
 
 \begin{describe*}
-    {\dhead{gf}{sod-class-precedence-list <class> @> @<list>}
+    {\dhead{gf}{sod-class-precedence-list @<class> @> @<list>}
      \dhead{gf}{sod-class-type @<class> @> @<c-type>}
      \dhead{gf}{sod-class-chain-head @<class> @> @<class>}
      \dhead{gf}{sod-class-chain @<class> @> @<list>}