Release coccinelle-0.1.2

[bpt/coccinelle.git] / globals / flag.ml

diff --git a/globals/flag.ml b/globals/flag.ml
index 222e4bb..ebee85e 100644 (file)
--- a/globals/flag.ml
+++ b/globals/flag.ml
@@ -14,3 +14,8 @@ let pyoutput = ref "coccilib.output.Console"
 let patch = ref (None : string option)
 
 let make_hrule = ref (None : string (*dir*) option)
+
+let currentfile = ref (None : string option)
+
+let current_element = ref ""
+