- Const is now processed properly

[helm.git] / matita / components / binaries / matex / test / test.tex

diff --git a/matita/components/binaries/matex/test/test.tex b/matita/components/binaries/matex/test/test.tex
index 1a075c37c66b95e51c1e83ff0d552fca5eeb459b..ddf18c40838abf537e74e295a431c646be81d9dc 100644 (file)
--- a/matita/components/binaries/matex/test/test.tex
+++ b/matita/components/binaries/matex/test/test.tex
@@ -6,8 +6,8 @@
 
 \input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.type}
 
-\bigskip
+% \bigskip
 
-\input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.body}
+% \input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.body}
 
 \end{document}