Hi,

I have now implemented:

#line 123 "filename.pir"
setline 123
setfile "filename.pir"

In 16119.

Jonathan



Reply via email to