changeset 40726 | 16dcfedc4eb7 |
parent 40711 | 81bc73585eec |
child 41099 | 5cf62cefbbb4 |
--- a/src/Tools/Code/code_runtime.ML Fri Nov 26 18:07:00 2010 +0100 +++ b/src/Tools/Code/code_runtime.ML Fri Nov 26 22:33:21 2010 +0100 @@ -258,7 +258,7 @@ fun check_datatype thy tyco some_consts = let - val constrs = (map (fst o fst) o snd o Code.get_type thy) tyco; + val constrs = (map fst o snd o fst o Code.get_type thy) tyco; val _ = case some_consts of SOME consts => let