diff options
Diffstat (limited to 'doc/common')
| -rwxr-xr-x | doc/common/macros.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/common/macros.tex b/doc/common/macros.tex index 47409b9845..3bfe09c166 100755 --- a/doc/common/macros.tex +++ b/doc/common/macros.tex @@ -213,6 +213,7 @@ \newcommand{\onemodbinding}{\textrm{\textsl{module\_binding}}} \newcommand{\modbindings}{\textrm{\textsl{module\_bindings}}} \newcommand{\qualid}{\textrm{\textsl{qualid}}} +\newcommand{\qualidorstring}{\textrm{\textsl{qualid\_or\_string}}} \newcommand{\class}{\textrm{\textsl{class}}} \newcommand{\dirpath}{\textrm{\textsl{dirpath}}} \newcommand{\typedidents}{\textrm{\textsl{typed\_idents}}} |