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


1
2
3
4
5
6
7
8
9
10
11

--- src/com_state_pipe.sml.orig	Fri Mar 30 23:39:06 2001
+++ src/com_state_pipe.sml	Sun Jan 13 13:40:19 2008
@@ -145,7 +143,7 @@
 
 
   fun getEvent () = 
-      TextIO.inputLine(getWishIn()) 
+      valOf (TextIO.inputLine(getWishIn()))
       handle Option.Option => "" (* wish has been closed in the meantime *) 
   
   fun eval ps =