# HG changeset patch
# User wenzelm
# Date 1738239201 -3600
# Node ID 374db8f3593946c6ba8968990aa6eab7c74ce685
# Parent  d104c6ad04eebdcce05d9d10fd0762e98ce37091
tuned output;

diff -r d104c6ad04ee -r 374db8f35939 src/Tools/Find_Facts/src/find_facts.scala
--- a/src/Tools/Find_Facts/src/find_facts.scala	Thu Jan 30 11:53:26 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts.scala	Thu Jan 30 13:13:21 2025 +0100
@@ -748,7 +748,7 @@
 
     Isabelle_System.copy_dir(solr.database_dir(database), component_dir.path)
     component_dir.write_settings(
-      "FIND_FACTS_INDEXES=\"$FIND_FACTS_INDEXES:$COMPONENT/" + database + "\"")
+      "\nFIND_FACTS_INDEXES=\"$FIND_FACTS_INDEXES:$COMPONENT/" + database + "\"")
   }