changeset 60695 | 757549b4bbe6 |
parent 60642 | 48dd1cefb4ae |
child 61841 | 4d3527b94f2a |
--- a/src/Pure/Tools/rule_insts.ML Wed Jul 08 15:37:32 2015 +0200 +++ b/src/Pure/Tools/rule_insts.ML Wed Jul 08 19:28:43 2015 +0200 @@ -218,7 +218,7 @@ val ((_, params), ctxt') = ctxt |> Variable.declare_constraints goal |> Variable.improper_fixes - |> Variable.focus_params goal + |> Variable.focus_params NONE goal ||> Variable.restore_proper_fixes ctxt; in (params, ctxt') end;