1.1 --- a/src/sml/ME/script.sml	Sat Aug 20 19:10:30 2005 +0200
     1.2 +++ b/src/sml/ME/script.sml	Sat Aug 20 21:20:16 2005 +0200
     1.3 @@ -209,6 +209,8 @@
     1.4  
     1.5  (*.get argument of first stactic in a script for init_form.*)
     1.6  fun get_stac thy (h $ body) =
     1.7 +(* 
     1.8 +   *)
     1.9    let
    1.10      fun get_t y (Const ("Script.Seq",_) $ e1 $ e2) a = 
    1.11      	(case get_t y e1 a of None => get_t y e2 a | la => la)