| changeset 45650 | d314a4e8038f |
| parent 45289 | 25e9e7f527b4 |
| child 46493 | 7e69b9f3149f |
--- a/src/Pure/assumption.ML Sun Nov 27 14:40:08 2011 +0100 +++ b/src/Pure/assumption.ML Sun Nov 27 21:53:38 2011 +0100 @@ -67,7 +67,7 @@ ); fun map_data f = Data.map (fn Data {assms, prems} => make_data (f (assms, prems))); -fun rep_data ctxt = Data.get ctxt |> (fn Data args => args); +fun rep_data ctxt = Data.get ctxt |> (fn Data rep => rep); (* all assumptions *)