--- a/src/Pure/General/symbol_pos.ML Wed Aug 13 20:57:40 2008 +0200
+++ b/src/Pure/General/symbol_pos.ML Thu Aug 14 11:55:05 2008 +0200
@@ -50,7 +50,7 @@
val content = implode o map symbol;
-val tab_width = 8;
+val tab_width = (8: int);
fun untabify ("\t", pos) =
(case Position.column_of pos of