src/Pure/PIDE/headless.scala

--- a/src/Pure/PIDE/headless.scala	Mon Apr 04 23:33:14 2022 +0200
+++ b/src/Pure/PIDE/headless.scala	Mon Apr 04 23:46:14 2022 +0200
@@ -313,7 +313,7 @@
             }
           }
 
-        Session.Consumer[Session.Commands_Changed](getClass.getName) {
+        isabelle.Session.Consumer[isabelle.Session.Commands_Changed](getClass.getName) {
           case changed =>
             if (changed.nodes.exists(dep_theories_set)) {
               val snapshot = session.snapshot()