diff -r c4d337782de4 -r 9613780a805b src/Pure/System/session.scala
--- 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 */