src/HOL/Decision_Procs/approximation.ML

--- a/src/HOL/Decision_Procs/approximation.ML	Tue Feb 23 16:25:08 2016 +0100
+++ b/src/HOL/Decision_Procs/approximation.ML	Tue Feb 23 16:41:14 2016 +0100
@@ -261,4 +261,4 @@
   THEN rewrite_interpret_form_tac ctxt prec splitting taylor i
   THEN gen_eval_tac (approximation_conv ctxt) ctxt i
     
-end;
\ No newline at end of file
+end;