diff --git a/Isabelle_DOF/ROOT b/Isabelle_DOF/ROOT
index 1e6baf7..878d12b 100644
--- a/Isabelle_DOF/ROOT
+++ b/Isabelle_DOF/ROOT
@@ -29,7 +29,6 @@ session "Isabelle_DOF" (AFP) = "Functional-Automata" +
     "root.bib"
     "dof_session.tex"
     "root.mst"
-    "root.tex"
     "preamble.tex"
     "lstisadof-manual.sty" 
     "figures/cicm2018-combined.png"