include directive not handled well by pretty_print(file,profiler)

When an include directive is encountered, the directive is kept as well
as
placing the code from the included file in the file (correctly
transformed).
I think putting in the transformed code is right but the directive
should be removed.

Stefano

2nd Floor The Tower Building	EMAIL:
Stefano.Novello@parc-technologies.com
11 York Road                      TEL: +44 20 72614017
SE1 7NX LONDON                    FAX: +44 20 72614001

This e-mail message is for the sole use of the intended recipient(s) -
its contents are the property of Parc Technologies Limited (or its
licensors) and are confidential. Please do not copy, review, use (except
for the intended purposes), disclose or distribute the e-mail or its
contents or allow anyone else to do so without our prior permission. 
Parc Technologies Limited does not guarantee that this e-mail has not
been intercepted and amended nor that it is virus-free. You should carry
out your own virus checks before opening any attachment. Any opinions
expressed in this e-mail message are those of the author and not
necessarily Parc Technologies Limited.
Limited.