diff --git a/document-generator/latex/DOF-core.sty b/document-generator/latex/DOF-core.sty index 4acd39cf..8d074446 100644 --- a/document-generator/latex/DOF-core.sty +++ b/document-generator/latex/DOF-core.sty @@ -17,6 +17,7 @@ Document-Type Support Framework for Isabelle.] \RequirePackage{keycommand} +\RequirePackage{graphicx} \RequirePackage{fp} \newkeycommand\isaDofChapter[label=,type=][1]{%