X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2Ftest.tex;h=fe150474c72d6e543cae32db4f2514ad801dae2a;hb=2fa001c86e37c76c840122655cb4ffba8bb30cad;hp=a85f8c8f6234112dcef1a32dfd9d0be9bd2ef392;hpb=5791ee6b64136ecb0a727e32997b33f4bfab2c31;p=helm.git

diff --git a/matita/components/binaries/matex/test/test.tex b/matita/components/binaries/matex/test/test.tex
index a85f8c8f6..fe150474c 100644
--- a/matita/components/binaries/matex/test/test.tex
+++ b/matita/components/binaries/matex/test/test.tex
@@ -12,10 +12,4 @@
 
 \input{objs}
 
-\bigskip
-
-\ObjRef{pr0}
-\ObjRef{pr0_ind}
-\ObjRef{pr0_confluence}
-
 \end{document}