# HG changeset patch
# User wenzelm
# Date 911472597 -3600
# Node ID 33bdc03bba7e905c8b9c66f059435289a46fe6d7
# Parent  2d7c7a4fcd8ab00f503575b22144124b35220fd2
fixed method syntax;

diff -r 2d7c7a4fcd8a -r 33bdc03bba7e src/Pure/Isar/outer_parse.ML
--- a/src/Pure/Isar/outer_parse.ML	Thu Nov 19 11:49:41 1998 +0100
+++ b/src/Pure/Isar/outer_parse.ML	Thu Nov 19 11:49:57 1998 +0100
@@ -241,17 +241,17 @@
  (position (xname >> rpair []) >> (Method.Source o Args.src) ||
   $$$ "(" |-- meth0 --| $$$ ")") x
 and meth3 x =
- (position (xname -- args1 false) >> (Method.Source o Args.src) ||
-  meth4) x
-and meth2 x =
  (meth4 --| $$$ "?" >> Method.Try ||
   meth4 --| $$$ "*" >> Method.Repeat ||
   meth4 --| $$$ "+" >> Method.Repeat1 ||
+  meth4) x
+and meth2 x =
+ (position (xname -- args1 false) >> (Method.Source o Args.src) ||
   meth3) x
 and meth1 x = (enum1 "," meth2 >> (fn [m] => m | ms => Method.Then ms)) x
 and meth0 x = (enum1 "|" meth1 >> (fn [m] => m | ms => Method.Orelse ms)) x;
 
-val method = meth2;
+val method = meth3;
 
 
 end;