src/Pure/defs.ML
changeset 24792 fd4655e57168
parent 24199 8be734b5f59f
child 29606 fedb8be05f24
     1.1 --- a/src/Pure/defs.ML	Mon Oct 01 15:14:53 2007 +0200
     1.2 +++ b/src/Pure/defs.ML	Mon Oct 01 15:14:54 2007 +0200
     1.3 @@ -98,7 +98,7 @@
     1.4  fun disjoint_specs c (i, {lhs = Ts, name = a, ...}: spec) =
     1.5    Inttab.forall (fn (j, {lhs = Us, name = b, ...}: spec) =>
     1.6      i = j orelse disjoint_args (Ts, Us) orelse
     1.7 -      error ("Type clash in specifications " ^ quote a ^ " and " ^ quote b ^
     1.8 +      error ("Clash of specifications " ^ quote a ^ " and " ^ quote b ^
     1.9          " for constant " ^ quote c));
    1.10  
    1.11  fun join_specs c ({specs = specs1, restricts, reducts}, {specs = specs2, ...}: def) =