diff -r 477c414000f8 -r 28084696907f src/HOL/Integ/presburger.ML
--- a/src/HOL/Integ/presburger.ML	Sat Jun 05 13:08:53 2004 +0200
+++ b/src/HOL/Integ/presburger.ML	Sat Jun 05 18:34:06 2004 +0200
@@ -282,7 +282,7 @@
       || Args.$$$ "abs" >> K (apsnd (K true));
  in
    Method.simple_args 
-  (Scan.optional (Args.$$$ "(" |-- Scan.repeat1 parse_flag --| Args.$$$ ")") [] >>
+  (Scan.optional (Args.$$$ "(" |-- Args.list1 parse_flag --| Args.$$$ ")") [] >>
     curry (foldl op |>) (true, false))
     (fn (q,a) => fn _ => meth q a 1)
   end;