same

Deducteam · Nov 13, 2023 · 6f602fb · 6f602fb
1 parent 49dbb42
commit 6f602fb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/rootfile.scala b/src/rootfile.scala
@@ -42,7 +42,7 @@ object Rootfile {
       if (session == "Pure") {
         List[String]()
       } else {
-        val base_info = Sessions.base_info(options, "Pure", progress, dirs)
+        val base_info = Sessions.background(options, "Pure", progress, dirs)
         val session_info =
           base_info.sessions_structure.get(anc) match {
             case Some(info) => info