1.1 --- a/src/Tools/Code/code_eval.ML	Thu Jun 17 11:33:04 2010 +0200
     1.2 +++ b/src/Tools/Code/code_eval.ML	Thu Jun 17 15:59:46 2010 +0200
     1.3 @@ -122,7 +122,7 @@
     1.4  
     1.5  fun check_datatype thy tyco consts =
     1.6    let
     1.7 -    val constrs = (map fst o snd o Code.get_type thy) tyco;
     1.8 +    val constrs = (map (fst o fst) o snd o Code.get_type thy) tyco;
     1.9      val missing_constrs = subtract (op =) consts constrs;
    1.10      val _ = if null missing_constrs then []
    1.11        else error ("Missing constructor(s) " ^ commas (map quote missing_constrs)