X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2Ftest.tex;h=a1591d4d54fb8e2fdf6a080f4d78b76e5cf7f706;hb=bedea63520c165e9445c15b09455e349c72e48a5;hp=0cf2e639fe774755dec155cb79b8b51bba482a43;hpb=f6b452b9c9be141740d4058dfbcf81a4b75fd00b;p=helm.git

diff --git a/matita/components/binaries/matex/test/test.tex b/matita/components/binaries/matex/test/test.tex
index 0cf2e639f..a1591d4d5 100644
--- a/matita/components/binaries/matex/test/test.tex
+++ b/matita/components/binaries/matex/test/test.tex
@@ -10,7 +10,7 @@
 
 \newcounter{node}
 \renewcommand*\ObjIncNode{\stepcounter{node}}
-\renewcommand*\ObjNode{\arabic{node} }
+\renewcommand*\ObjNode{\arabic{node}}
 
 \title{The Core Theory of the Formal System $\lambda\delta\hbox{-}1$:
 Definitions and Statements}