From 3d9fcc99ab62ab1745cc56c1eab53dbde0c217d4 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 27 May 2024 12:22:41 +0100
Subject: [PATCH] Fixed scala build path.

---
 etc/build.props | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/build.props b/etc/build.props
index 9ba4817..7249b1c 100644
--- a/etc/build.props
+++ b/etc/build.props
@@ -4,8 +4,8 @@ no_build = false
 requirements = \
   env:ISABELLE_SCALA_JAR
 sources = \
-  Isabelle_DOF/scala/dof.scala \
-  Isabelle_DOF/scala/dof_document_build.scala \
+  upstream_afp/Isabelle_DOF/scala/dof.scala \
+  upstream_afp/Isabelle_DOF/scala/dof_document_build.scala \
   scala/dof_mkroot.scala \
   scala/dof_tools.scala
 services = \