Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/session.scala
changeset 48422 9613780a805b
parent 48020 a4f9957878ab
child 48707 ba531af91148 
--- a/src/Pure/System/session.scala	Sat Jul 21 22:13:50 2012 +0200
+++ b/src/Pure/System/session.scala	Sun Jul 22 00:00:22 2012 +0200
@@ -37,7 +37,7 @@
 }
 
 
-class Session(thy_load: Thy_Load = new Thy_Load)
+class Session(thy_load: Thy_Load = new Thy_Load())
 {
   /* global flags */
isabelle