src/Pure/Isar/class.ML
changeset 25999 f8bcd311d501
parent 25864 11f531354852
child 26167 ccc9007a7164
     1.1 --- a/src/Pure/Isar/class.ML	Mon Jan 28 18:18:19 2008 +0100
     1.2 +++ b/src/Pure/Isar/class.ML	Mon Jan 28 22:27:19 2008 +0100
     1.3 @@ -763,7 +763,7 @@
     1.4        ((junk |--
     1.5          (Scan.optional (Scan.one Symbol.is_ascii_letter) "x" ^^ (Scan.many is_valid >> implode)
     1.6          --| junk))
     1.7 -      -- Scan.repeat ((Scan.many1 is_valid >> implode) --| junk) >> op ::);
     1.8 +      ::: Scan.repeat ((Scan.many1 is_valid >> implode) --| junk));
     1.9    in
    1.10      explode #> scan_valids #> implode
    1.11    end;