src/Pure/axclass.ML
changeset 21913 1224048fb8f9
parent 21893 29438dfa8a16
child 21919 b142e6506469
     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