- initial support for sigma-types

[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 a1591d4d54fb8e2fdf6a080f4d78b76e5cf7f706..081696291d217993ab27e8d1ba56cf3361405a56 100644 (file)
--- a/matita/components/binaries/matex/test/test.tex
+++ b/matita/components/binaries/matex/test/test.tex
@@ -1,7 +1,7 @@
 \documentclass[8pt,twocolumn,a4paper]{extarticle}
 
 \usepackage[margin=2cm]{geometry}
-\usepackage[bookmarks=false,ps2pdf]{hyperref}
+\usepackage[pdfborder={0 0 0},bookmarks=false,ps2pdf]{hyperref}
 \usepackage[american]{babel}
 \usepackage{matex}
 \usepackage{legacy_1}