diff options
Diffstat (limited to 'devel/sml_tk/files/patch-src-toolkit-icons.sml')
| -rw-r--r-- | devel/sml_tk/files/patch-src-toolkit-icons.sml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/devel/sml_tk/files/patch-src-toolkit-icons.sml b/devel/sml_tk/files/patch-src-toolkit-icons.sml new file mode 100644 index 000000000000..8585dfa5d882 --- /dev/null +++ b/devel/sml_tk/files/patch-src-toolkit-icons.sml @@ -0,0 +1,13 @@ +--- ./src/toolkit/icons.sml.orig Fri Mar 30 23:39:44 2001 ++++ src/toolkit/icons.sml Sun Jan 13 11:03:51 2008 +@@ -95,8 +95,8 @@ + fun getIconData (dir, file) = + let val i = openFile(joinDirFile{dir=dir, + file=dataFileNm file}) +- val w = StringUtil.toInt (TextIO.inputLine i) +- val h = StringUtil.toInt (TextIO.inputLine i) ++ val w = StringUtil.toInt (valOf (TextIO.inputLine i)) ++ val h = StringUtil.toInt (valOf (TextIO.inputLine i)) + val _ = TextIO.closeIn i + in (w, h) + end |