X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2Fdoc%2Fmain.tex;h=06952d61cb3bf1e814c521fb9b7ff48bb6383392;hb=bb55db1e81149b7f3a58c2cd723c096883b66ab4;hp=00208b0c25724c2efac60938aae49d77332067c4;hpb=a8a60abba413c68ee65f3322f6b4028af34ed9e6;p=helm.git

diff --git a/helm/ocaml/tactics/doc/main.tex b/helm/ocaml/tactics/doc/main.tex
index 00208b0c2..06952d61c 100644
--- a/helm/ocaml/tactics/doc/main.tex
+++ b/helm/ocaml/tactics/doc/main.tex
@@ -4,6 +4,7 @@
 \usepackage{pifont}
 \usepackage{semantic}
 \usepackage{stmaryrd}
+\usepackage{graphicx}
 
 \newcommand{\MATITA}{\ding{46}\textsf{\textbf{Matita}}}