| changeset 46739 | 6024353549ca |
| parent 46737 | 09ab89658a5d |
| child 46771 | 06a9b24c4a36 |
--- a/src/Pure/System/session.scala Wed Feb 29 23:31:35 2012 +0100 +++ b/src/Pure/System/session.scala Thu Mar 01 11:28:33 2012 +0100 @@ -35,7 +35,7 @@ } -class Session(val thy_load: Thy_Load = new Thy_Load) +class Session(thy_load: Thy_Load = new Thy_Load) { /* real time parameters */ // FIXME properties or settings (!?)