fixed misleading error message
authorhaftmann
Wed Dec 27 19:10:04 2006 +0100 (2006-12-27)
changeset 219131224048fb8f9
parent 21912 ff45788e7bf9
child 21914 77372f38aa98
fixed misleading error message
src/Pure/axclass.ML
     1.1 --- a/src/Pure/axclass.ML	Wed Dec 27 19:10:03 2006 +0100
     1.2 +++ b/src/Pure/axclass.ML	Wed Dec 27 19:10:04 2006 +0100
     1.3 @@ -123,7 +123,7 @@
     1.4  fun get_definition thy c =
     1.5    (case lookup_def thy c of
     1.6      SOME (AxClass info) => info
     1.7 -  | NONE => error ("Undefined type class " ^ quote c));
     1.8 +  | NONE => error ("no such axclass: " ^ quote c));
     1.9  
    1.10  fun class_intros thy =
    1.11    let