diff -r f0bd809b5d35 -r 954d5be07d20 src/Pure/ML/ml_antiquotations.ML
--- a/src/Pure/ML/ml_antiquotations.ML	Fri Apr 04 12:37:57 2014 +0200
+++ b/src/Pure/ML/ml_antiquotations.ML	Fri Apr 04 13:12:16 2014 +0200
@@ -73,7 +73,6 @@
             "(fn x => (Isabelle." ^ a ^ " (" ^ ml_make_string ^ " x); x))";
         in (K (env, body), ctxt') end));
 
-  
 
 (* type classes *)