Coccinelle release 1.0.0-rc14

[bpt/coccinelle.git] / 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 (file)
--- 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
 
 (*****************************************************************************)