src/HOL/Tools/datatype_codegen.ML
changeset 21565 bd28361f4c5b
parent 21546 268b6bed0cc8
child 21708 45e7491bea47
     1.1 --- a/src/HOL/Tools/datatype_codegen.ML	Mon Nov 27 23:48:10 2006 +0100
     1.2 +++ b/src/HOL/Tools/datatype_codegen.ML	Tue Nov 28 00:35:18 2006 +0100
     1.3 @@ -609,7 +609,7 @@
     1.4              then NONE else SOME (arity, (tyco, cs)))) insts;
     1.5        in
     1.6          thy
     1.7 -        |> K ((not o null) arities) ? (
     1.8 +        |> not (null arities) ? (
     1.9              f arities css
    1.10              #-> (fn defs =>
    1.11                ClassPackage.prove_instance_arity tac arities ("", []) defs