diff -r 3ceccd415145 -r 548f3f165d05 src/Pure/ProofGeneral/pgip_parser.ML
--- 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})