--- a/src/Pure/Thy/thy_header.ML Tue Dec 22 19:38:06 2009 +0100
+++ b/src/Pure/Thy/thy_header.ML Tue Dec 22 21:46:41 2009 +0100
@@ -35,7 +35,7 @@
val file_name = P.group "file name" P.name;
val theory_name = P.group "theory name" P.name;
-val file = (P.$$$ "(" |-- P.!!! (file_name --| P.$$$ ")")) >> rpair false || file_name >> rpair true;
+val file = P.$$$ "(" |-- P.!!! (file_name --| P.$$$ ")") >> rpair false || file_name >> rpair true;
val uses = Scan.optional (P.$$$ usesN |-- P.!!! (Scan.repeat1 file)) [];
val args =