--- 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 *)