permit multiline comments and strings in macros

[bpt/coccinelle.git] / popl09 / pretty_print_popl.mli

diff --git a/popl09/pretty_print_popl.mli b/popl09/pretty_print_popl.mli
index f36b513..d62c4c6 100644 (file)
--- a/popl09/pretty_print_popl.mli
+++ b/popl09/pretty_print_popl.mli
@@ -24,5 +24,6 @@
  *)
 
 
+# 0 "./pretty_print_popl.mli"
 val pretty_print : Ast_popl.sequence -> unit
 val pretty_print_e : Ast_popl.element -> unit