devel/sml_tk/files/patch-src-fonts.sml


1
2
3
4
5
6
7
8
9
10
11
12
13

--- ./src/fonts.sml.orig	Fri Mar 30 23:39:12 2001
+++ src/fonts.sml	Sun Jan 13 11:03:51 2008
@@ -109,8 +109,8 @@
  	    fun read_em si = if TextIO.endOfStream si 
  				 then [] before (TextIO.closeIn si;
  						 TextIO.closeOut so)
-                               else (splitFields
- 				    (TextIO.inputLine si))::(read_em si)
+                               else (splitFields (valOf
+ 				    (TextIO.inputLine si)))::(read_em si)
  	in  read_em si
  	end