made SML/NJ happy;
authorwenzelm
Thu Aug 14 11:55:05 2008 +0200 (2008-08-14)
changeset 27864827730aea9e8
parent 27863 a084895d8b91
child 27865 27a8ad9612a3
made SML/NJ happy;
src/Pure/General/symbol_pos.ML
     1.1 --- a/src/Pure/General/symbol_pos.ML	Wed Aug 13 20:57:40 2008 +0200
     1.2 +++ b/src/Pure/General/symbol_pos.ML	Thu Aug 14 11:55:05 2008 +0200
     1.3 @@ -50,7 +50,7 @@
     1.4  val content = implode o map symbol;
     1.5  
     1.6  
     1.7 -val tab_width = 8;
     1.8 +val tab_width = (8: int);
     1.9  
    1.10  fun untabify ("\t", pos) =
    1.11        (case Position.column_of pos of