1.1 --- a/src/sml/ME/script.sml	Fri Oct 14 19:55:47 2005 +0200
     1.2 +++ b/src/sml/ME/script.sml	Wed Oct 19 17:24:10 2005 +0200
     1.3 @@ -761,8 +761,8 @@
     1.4      end
     1.5  
     1.6    | assod pt d m t = 
     1.7 -    (writeln("### assod: NotAss m= "^(tac_2str m)^" , ..\n\
     1.8 -             \### ..assod:   stac= "^(term2str t));
     1.9 +    (writeln("@@@ assod: NotAss m= "^(tac_2str m)^" , ..\n\
    1.10 +             \@@@ ..assod:   stac= "^(term2str t));
    1.11       NotAss);
    1.12  
    1.13