Coccinelle release 1.0.0-rc12

[bpt/coccinelle.git] / ctl / flag_ctl.ml

diff --git a/ctl/flag_ctl.ml b/ctl/flag_ctl.ml
index 2704ee8..62a0144 100644 (file)
--- a/ctl/flag_ctl.ml
+++ b/ctl/flag_ctl.ml
@@ -24,6 +24,7 @@
  *)
 
 
+# 0 "./flag_ctl.ml"
 (* option -verbose_ctl_engine *)
 let verbose_ctl_engine = ref false