Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed misleading error message
authorhaftmann
Wed, 27 Dec 2006 19:10:04 +0100
changeset 21913 1224048fb8f9
parent 21912 ff45788e7bf9
child 21914 77372f38aa98
fixed misleading error message
src/Pure/axclass.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/axclass.ML	Wed Dec 27 19:10:03 2006 +0100
+++ b/src/Pure/axclass.ML	Wed Dec 27 19:10:04 2006 +0100
@@ -123,7 +123,7 @@
 fun get_definition thy c =
   (case lookup_def thy c of
     SOME (AxClass info) => info
-  | NONE => error ("Undefined type class " ^ quote c));
+  | NONE => error ("no such axclass: " ^ quote c));
 
 fun class_intros thy =
   let
isabelle