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