...

diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex
index f1699bc2f495f1a9ad7e2ebb020fad09117efa07..5e5bb5bef6e84b1e1c8f8d36ec945e76a01c2071 100644 (file)
--- a/helm/papers/matita/matita2.tex
+++ b/helm/papers/matita/matita2.tex
@@ -36,6 +36,7 @@
 \newcommand{\REF}[3]{\ensuremath{\mathit{Ref}_{#1}(#2,#3)}}
 \newcommand{\TEXMACRO}[1]{\texttt{\char92 #1}}
 \newcommand{\UWOBO}{UWOBO}
+\newcommand{\GETTER}{Getter}
 \newcommand{\WHELP}{Whelp}
 \newcommand{\DOT}{\ensuremath{\mbox{\textbf{.}}}}
 \newcommand{\SEMICOLON}{\ensuremath{\mbox{\textbf{;}}}}