src/Pure/Isar/parse_spec.ML
changeset 44357 5f5649ac8235
parent 42287 d98eb048a2e4
child 45592 8baa0b7f3f66
     1.1 --- a/src/Pure/Isar/parse_spec.ML	Sun Aug 21 20:25:49 2011 +0200
     1.2 +++ b/src/Pure/Isar/parse_spec.ML	Sun Aug 21 20:42:26 2011 +0200
     1.3 @@ -136,7 +136,7 @@
     1.4      val expr0 = plus1_unless locale_keyword expr1;
     1.5    in expr0 -- Scan.optional (Parse.$$$ "for" |-- Parse.!!! locale_fixes) [] end;
     1.6  
     1.7 -val context_element = Parse.group "context element" loc_element;
     1.8 +val context_element = Parse.group (fn () => "context element") loc_element;
     1.9  
    1.10  end;
    1.11