diff -r f38dc602a926 -r f8bcd311d501 src/Pure/Isar/spec_parse.ML
--- a/src/Pure/Isar/spec_parse.ML	Mon Jan 28 18:18:19 2008 +0100
+++ b/src/Pure/Isar/spec_parse.ML	Mon Jan 28 22:27:19 2008 +0100
@@ -108,7 +108,7 @@
     >> (curry Element.Notes "");
 
 fun plus1_unless test scan =
-  scan -- Scan.repeat (P.$$$ "+" |-- Scan.unless test (P.!!! scan)) >> op ::;
+  scan ::: Scan.repeat (P.$$$ "+" |-- Scan.unless test (P.!!! scan));
 
 val rename = P.name -- Scan.option P.mixfix;