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