1.1 --- a/src/sml/xmlsrc/datatypes.sml	Sun Oct 22 10:32:35 2006 +0200
     1.2 +++ b/src/sml/xmlsrc/datatypes.sml	Sun Oct 22 15:30:39 2006 +0200
     1.3 @@ -630,8 +630,8 @@
     1.4      pos'2xml (j+i) ("POSITION", p) ^
     1.5      indt (j+i) ^"<FORMULA>\n"^
     1.6      (if t = e_pblterm (*headline in pbl is e_ <- _root_pbl for CAS-command*)
     1.7 -     then "________________________________________________________________" 
     1.8 -     else term2xml (j+i) t^"\n") ^
     1.9 +     then cterm2xml (j+i) "________________________________________________" 
    1.10 +     else term2xml (j+i) t)^"\n" ^
    1.11      indt (j+i) ^"</FORMULA>\n"^
    1.12      indt j ^"</CALCFORMULA>\n";
    1.13