Big commit to let Ferruccio try the merge_coercion patch.

[helm.git] / helm / ocaml / tactics / doc / main.tex

diff --git a/helm/ocaml/tactics/doc/main.tex b/helm/ocaml/tactics/doc/main.tex
index 00208b0c25724c2efac60938aae49d77332067c4..06952d61cb3bf1e814c521fb9b7ff48bb6383392 100644 (file)
--- 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}}}