changeset 45650 | d314a4e8038f |
parent 45472 | 2046f8e2ecd7 |
child 45666 | d83797ef0d2d |
--- a/src/Pure/variable.ML Sun Nov 27 14:40:08 2011 +0100 +++ b/src/Pure/variable.ML Sun Nov 27 21:53:38 2011 +0100 @@ -144,7 +144,7 @@ map_data (fn (is_body, names, consts, fixes, binds, type_occs, maxidx, sorts, constraints) => (is_body, names, consts, fixes, binds, type_occs, maxidx, sorts, f constraints)); -fun rep_data ctxt = Data.get ctxt |> (fn Data args => args); +fun rep_data ctxt = Data.get ctxt |> (fn Data rep => rep); val is_body = #is_body o rep_data;