diff --git a/src/ROOT b/src/ROOT
index ebf8c486..5b586334 100644
--- a/src/ROOT
+++ b/src/ROOT
@@ -14,4 +14,6 @@ session "Isabelle_DOF" = "Functional-Automata" +
   theories
     "DOF/Isa_DOF"
     "ontologies/ontologies"
+  export_classpath
+