tuned opt_mixfix failure;
authorwenzelm
Thu Mar 11 21:55:23 1999 +0100 (1999-03-11)
changeset 6355f05492a711b1
parent 6354 a4c75cbd2fbf
child 6356 6c01697e082e
tuned opt_mixfix failure;
src/Pure/Isar/outer_parse.ML
     1.1 --- a/src/Pure/Isar/outer_parse.ML	Thu Mar 11 21:53:50 1999 +0100
     1.2 +++ b/src/Pure/Isar/outer_parse.ML	Thu Mar 11 21:55:23 1999 +0100
     1.3 @@ -188,7 +188,7 @@
     1.4    Scan.optional ($$$ "(" |-- !!! (fix --| $$$ ")")) Syntax.NoSyn;
     1.5  
     1.6  val opt_infix = opt_fix (infxl || infxr);
     1.7 -val opt_mixfix = opt_fix (mixfix || infxl || infxr || binder);
     1.8 +val opt_mixfix = opt_fix (mixfix || binder || infxl || infxr);
     1.9  
    1.10  
    1.11  (* consts *)