blob: 16cf8df08da1425c6bf109b4b9742141ec7837ef (
plain) (
blame)
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
|
