# HG changeset patch
# User wenzelm
# Date 1754937772 -7200
# Node ID cae70aa290549c35243c826d56e8f730601fb041
# Parent  01b6ba2f121be47b35bf2021dc36fa981610f1be
build logic image in persistent store, without private_dir;

diff -r 01b6ba2f121b -r cae70aa29054 src/Pure/Tools/process_theories.scala
--- a/src/Pure/Tools/process_theories.scala	Mon Aug 11 20:34:38 2025 +0200
+++ b/src/Pure/Tools/process_theories.scala	Mon Aug 11 20:42:52 2025 +0200
@@ -90,7 +90,10 @@
           } yield session).toList
 
 
-      /* build adhoc session */
+      /* build session */
+
+      Build.build_logic(options, logic, dirs = dirs, progress = progress,
+        build_heap = true, strict = true)
 
       val session_entry =
         Sessions.Session_Entry(