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/eqsubst.ML
changeset 51717 9e7d1c139569
parent 49340 25fc6e0da459
child 52223 5bb6ae8acb87 
--- a/src/Tools/eqsubst.ML	Tue Apr 16 17:54:14 2013 +0200
+++ b/src/Tools/eqsubst.ML	Thu Apr 18 17:07:01 2013 +0200
@@ -68,7 +68,7 @@
 
 (* changes object "=" to meta "==" which prepares a given rewrite rule *)
 fun prep_meta_eq ctxt =
-  Simplifier.mksimps (simpset_of ctxt) #> map Drule.zero_var_indexes;
+  Simplifier.mksimps ctxt #> map Drule.zero_var_indexes;
 
 
   (* a type abriviation for match information *)
isabelle