src/HOL/Decision_Procs/Approximation.thy

--- a/src/HOL/Decision_Procs/Approximation.thy	Tue Apr 16 17:54:14 2013 +0200
+++ b/src/HOL/Decision_Procs/Approximation.thy	Thu Apr 18 17:07:01 2013 +0200
@@ -3487,7 +3487,7 @@
                                      (@{cpat "?prec::nat"}, p),
                                      (@{cpat "?ss::nat list"}, s)])
               @{thm "approx_form"}) i
-          THEN simp_tac @{simpset} i) st
+          THEN simp_tac @{context} i) st
        end
 
      | SOME t => if length vs <> 1 then raise (TERM ("More than one variable used for taylor series expansion", [prop_of st]))