From ffcf1f32404d18201bbf3c833d5272c7438acbde Mon Sep 17 00:00:00 2001
From: Makarius <makarius@sketis.net>
Date: Sun, 4 Dec 2022 19:26:28 +0100
Subject: [PATCH] Add missing file (amending 5471d873a932)

---
 src/ROOT | 2 ++
 1 file changed, 2 insertions(+)

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
+