Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/rule_insts.ML
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;
isabelle