# HG changeset patch
# User wenzelm
# Date 1256403347 -7200
# Node ID 2f05a1feac21b1262caf7df03952f513463b41c6
# Parent  4e33c819fced368e660b296b0cc68522c0c8639f
tuned message;

diff -r 4e33c819fced -r 2f05a1feac21 src/Pure/Isar/object_logic.ML
--- a/src/Pure/Isar/object_logic.ML	Sat Oct 24 18:55:27 2009 +0200
+++ b/src/Pure/Isar/object_logic.ML	Sat Oct 24 18:55:47 2009 +0200
@@ -90,7 +90,7 @@
     val base_sort = get_base_sort thy;
     val b = Binding.map_name (Syntax.type_name mx) a;
     val _ = has_duplicates (op =) vs andalso
-      error ("Duplicate parameters in type declaration: " ^ quote (Binding.str_of b));
+      error ("Duplicate parameters in type declaration " ^ quote (Binding.str_of b));
     val name = Sign.full_name thy b;
     val n = length vs;
     val T = Type (name, map (fn v => TFree (v, [])) vs);