--- a/src/HOL/TPTP/TPTP_Parser/make_mlyacclib Thu Dec 31 20:40:28 2015 +0100
+++ b/src/HOL/TPTP/TPTP_Parser/make_mlyacclib Thu Dec 31 20:57:00 2015 +0100
@@ -48,4 +48,4 @@
;
EOF
-) > ml_yacc_lib.ML
\ No newline at end of file
+) | expand -t8 > ml_yacc_lib.ML