Ticket #88 (new defect)

Description

Given the following source code:

component test
export Executable

(* This is a comment: [\String, String\] *)

run(args:String...) : () = do
   println("Hello, world.")
end

end (* component *)

Running fortify on the above generates invalid LaTeX. The resulting LaTeX error is:

! Undefined control sequence.
l.4 ...(*}\;\hbox{\rm  This is a comment: [\String
                                                 , String\] \unskip}\;\math...

I can't find any documentation that states that comments must be valid LaTeX code (\String makes the above not.)