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/Tools/adhoc_overloading.ML
changeset 55237 1e341728bae9
parent 54468 f6ffe53387ef
child 55954 a29aefc88c8d 
--- a/src/Tools/adhoc_overloading.ML	Sat Feb 01 18:42:46 2014 +0100
+++ b/src/Tools/adhoc_overloading.ML	Sat Feb 01 20:46:19 2014 +0100
@@ -172,7 +172,7 @@
       |> get_overloaded ctxt
       |> Option.map (Const o rpair (Term.type_of t));
   in
-    Pattern.rewrite_term (Proof_Context.theory_of ctxt) [] [proc]
+    Pattern.rewrite_term_top (Proof_Context.theory_of ctxt) [] [proc]
   end;
 
 fun check ctxt =
isabelle