src/Pure/sign.ML
changeset 15574 b1d1b5bfc464
parent 15570 8d8c70b41bab
child 15624 484178635bd8
     1.1 --- a/src/Pure/sign.ML	Fri Mar 04 11:44:26 2005 +0100
     1.2 +++ b/src/Pure/sign.ML	Fri Mar 04 15:07:34 2005 +0100
     1.3 @@ -832,7 +832,7 @@
     1.4    let
     1.5      val tsig = tsig_of sg;
     1.6  
     1.7 -    val termss = Library.foldr multiply (map fst args, [[]]);
     1.8 +    val termss = foldr multiply [[]] (map fst args);
     1.9      val typs =
    1.10        map (fn (_, T) => certify_typ sg T handle TYPE (msg, _, _) => error msg) args;
    1.11