X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/17ba07880e1838028b4516ba7a2db2147b3aa1c9..feec80c30d140c69f5d894bd09b6071247d0fbaa:/engine/flag_engine.ml

diff --git a/engine/flag_engine.ml b/engine/flag_engine.ml
index 6e94c93..6053bd9 100644
--- a/engine/flag_engine.ml
+++ b/engine/flag_engine.ml
@@ -24,6 +24,7 @@
  *)
 
 
+# 0 "./flag_engine.ml"
 let debug_engine = ref false
 
 (* false = simpler formulas, only for debugging *)