make SML/NJ happy;
authorwenzelm
Sat Jul 27 21:55:14 2002 +0200 (2002-07-27)
changeset 13426e0e2351043d2
parent 13425 119ae829ad9b
child 13427 b429fd98549c
make SML/NJ happy;
src/Pure/Isar/proof_context.ML
     1.1 --- a/src/Pure/Isar/proof_context.ML	Fri Jul 26 21:09:39 2002 +0200
     1.2 +++ b/src/Pure/Isar/proof_context.ML	Sat Jul 27 21:55:14 2002 +0200
     1.3 @@ -1208,7 +1208,7 @@
     1.4        | replace (_ :: _) [] = raise CONTEXT ("Too many parameters for case " ^ quote name, ctxt);
     1.5    in
     1.6      if null (foldr Term.add_typ_tvars (map snd fixes, [])) andalso
     1.7 -      null (foldr Term.add_term_vars (flat (map #2 assumes), [])) then
     1.8 +      null (foldr Term.add_term_vars (flat (map snd assumes), [])) then
     1.9          {fixes = replace xs fixes, assumes = assumes, binds = map drop_schematic binds}
    1.10      else raise CONTEXT ("Illegal schematic variable(s) in case " ^ quote name, ctxt)
    1.11    end;