--- a/src/Pure/ProofGeneral/pgip_parser.ML Tue Jul 27 22:00:26 2010 +0200
+++ b/src/Pure/ProofGeneral/pgip_parser.ML Tue Jul 27 22:15:51 2010 +0200
@@ -19,7 +19,7 @@
fun badcmd text = [D.Badcmd {text = text}];
fun thy_begin text =
- (case try (Thy_Header.read Position.none) (Source.of_string text) of
+ (case try (Thy_Header.read Position.none) text of
NONE => D.Opentheory {thyname = NONE, parentnames = [], text = text}
| SOME (name, imports, _) =>
D.Opentheory {thyname = SOME name, parentnames = imports, text = text})