# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1739181175 -3600
# Node ID 7d89e4f10ffee78b62137ae5e9c5b3fe2b161215
# Parent  5888f0bec9718859a47c31da538bdef59c3f38b7
remove limit on boolean clauses in Solr, introduced in "fix" SOLR-13336;

diff -r 5888f0bec971 -r 7d89e4f10ffe src/Tools/Find_Facts/src/solr.scala
--- a/src/Tools/Find_Facts/src/solr.scala	Sun Feb 09 17:17:36 2025 +0100
+++ b/src/Tools/Find_Facts/src/solr.scala	Mon Feb 10 10:52:55 2025 +0100
@@ -24,7 +24,11 @@
 
 object Solr {
   def init(solr_data: Path): System = {
-    File.write(Isabelle_System.make_directory(solr_data) + Path.basic("solr.xml"), "<solr/>")
+    val solr_xml = Isabelle_System.make_directory(solr_data) + Path.basic("solr.xml")
+    val max_clauses =
+      XML.Elem(Markup("int", Markup.Name("maxBooleanClauses")), XML.string(Int.MaxValue.toString))
+    File.write(solr_xml, XML.string_of_body(List(XML.elem("solr", List(max_clauses)))))
+
     java.util.logging.LogManager.getLogManager.reset()
     new System(solr_data)
   }