# HG changeset patch
# User desharna
# Date 1742571740 -3600
# Node ID 6c68eff8355a9153b0b7df6695c41ca1456f028d
# Parent  c95eca07f6a09b96d51eb8e5a7cb4939b602bf71# Parent  c6193fc5ea3c17c0500861bdb2488c63b99be0bd
merged

diff -r c95eca07f6a0 -r 6c68eff8355a src/Tools/Find_Facts/src/find_facts.scala
--- a/src/Tools/Find_Facts/src/find_facts.scala	Fri Mar 21 15:20:13 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts.scala	Fri Mar 21 16:42:20 2025 +0100
@@ -306,8 +306,8 @@
 
     def update_theory(db: Solr.Database, theory_name: String, blocks: List[Block]): Unit =
       db.transaction {
-        val delete =
-          read_domain(db, Solr.filter(Fields.theory, Solr.phrase(theory_name))) -- blocks.map(_.id)
+        val domain = read_domain(db, Solr.filter(Fields.theory_facet, Solr.phrase(theory_name)))
+        val delete = domain -- blocks.map(_.id)
 
         if (delete.nonEmpty) db.execute_batch_delete(delete.toList)
 
@@ -352,7 +352,7 @@
 
     def delete_session(db: Solr.Database, session_name: String): Unit =
       db.transaction {
-        val delete = read_domain(db, Solr.filter(Fields.session, Solr.phrase(session_name)))
+        val delete = read_domain(db, Solr.filter(Fields.session_facet, Solr.phrase(session_name)))
         if (delete.nonEmpty) db.execute_batch_delete(delete.toList)
       }