1.1 --- a/src/Tools/isac/Interpret/generate.sml	Sat May 21 09:54:39 2011 +0200
     1.2 +++ b/src/Tools/isac/Interpret/generate.sml	Sat May 21 12:52:59 2011 +0200
     1.3 @@ -181,7 +181,7 @@
     1.4    | edit2str Protect = "Protect";
     1.5  
     1.6  
     1.7 -datatype inout =
     1.8 +datatype inout = (*FIXME.WN1105 drop this: was required for proto0 with dialog in sml*)
     1.9    New_User | End_User                                          (*<->*)
    1.10  | New_Proof | End_Proof                                        (*<->*)
    1.11  | Command of user_cmd                                          (*-->*)