X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/17ba07880e1838028b4516ba7a2db2147b3aa1c9..7f339edd551eefcd6c99f379ce91c27df997cfe3:/tools/extract_c_and_res.ml

diff --git a/tools/extract_c_and_res.ml b/tools/extract_c_and_res.ml
index 109a26a..21bcc09 100644
--- a/tools/extract_c_and_res.ml
+++ b/tools/extract_c_and_res.ml
@@ -24,6 +24,7 @@
  *)
 
 
+# 0 "./extract_c_and_res.ml"
 open Common
 
 (*****************************************************************************)