src/Pure/Thy/sessions.scala
changeset 65254 3075aa3b40bf
parent 65251 4b0a43afc3fb
child 65269 2947837b9f04
--- a/src/Pure/Thy/sessions.scala	Wed Mar 15 10:48:46 2017 +0100
+++ b/src/Pure/Thy/sessions.scala	Wed Mar 15 11:04:46 2017 +0100
@@ -28,6 +28,8 @@
     (roots ::: loaded_files).map(file => dir + Path.explode(file))
   }
 
+  def pure_base(options: Options): Base = session_base(options, Thy_Header.PURE)
+
 
   /* base info and source dependencies */