src/Pure/sign.ML
changeset 18928 042608ffa2ec
parent 18892 51360da418b2
child 18941 18cb1e2ab77d
     1.1 --- a/src/Pure/sign.ML	Mon Feb 06 11:00:24 2006 +0100
     1.2 +++ b/src/Pure/sign.ML	Mon Feb 06 11:01:28 2006 +0100
     1.3 @@ -628,7 +628,7 @@
     1.4  fun add_typedecls decls thy =
     1.5    let
     1.6      fun type_of (a, vs, mx) =
     1.7 -      if null (duplicates vs) then (a, length vs, mx)
     1.8 +      if not (has_duplicates (op =) vs) then (a, length vs, mx)
     1.9        else error ("Duplicate parameters in type declaration: " ^ quote a);
    1.10    in add_types (map type_of decls) thy end;
    1.11