diff --git a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex
index 1cccaa2..b52751b 100755
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex
@@ -22,7 +22,6 @@
 \usepackage{listings}
 \usepackage{lstisadof}
 \usepackage{xspace}
-\usepackage[draft]{fixme}
 
 \lstloadlanguages{bash}
 \lstdefinestyle{bash}{language=bash,