X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/17ba07880e1838028b4516ba7a2db2147b3aa1c9..feec80c30d140c69f5d894bd09b6071247d0fbaa:/ctl/flag_ctl.ml?ds=sidebyside

diff --git a/ctl/flag_ctl.ml b/ctl/flag_ctl.ml
index 2704ee8..62a0144 100644
--- 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