changeset 14841 | 37fc364a60c3 |
parent 14811 | 9144ec118703 |
child 14877 | 28084696907f |
--- a/src/HOL/Tools/Presburger/presburger.ML Sat May 29 15:08:21 2004 +0200 +++ b/src/HOL/Tools/Presburger/presburger.ML Sat May 29 15:09:47 2004 +0200 @@ -282,7 +282,7 @@ || Args.$$$ "abs" >> K (apsnd (K true)); in Method.simple_args - (Scan.optional (Args.$$$ "(" |-- Args.list1 parse_flag --| Args.$$$ ")") [] >> + (Scan.optional (Args.$$$ "(" |-- Scan.repeat1 parse_flag --| Args.$$$ ")") [] >> curry (foldl op |>) (true, false)) (fn (q,a) => fn _ => meth q a 1) end;