| changeset 37977 | 3ceccd415145 |
| parent 37239 | 54b444874be1 |
| child 38799 | 712cb964d113 |
--- a/src/Pure/General/secure.ML Tue Jul 27 12:59:22 2010 +0200 +++ b/src/Pure/General/secure.ML Tue Jul 27 22:00:26 2010 +0200 @@ -57,7 +57,7 @@ fun commit () = use_global "commit();"; (*commit is dynamically bound!*) fun Isar_setup () = use_global "open Unsynchronized;"; -fun PG_setup () = use_global "structure ThyLoad = Thy_Load;"; +fun PG_setup () = use_global "structure ThyLoad = ProofGeneral.ThyLoad;"; (* shell commands *)