Release coccinelle-0.1.2

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

diff --git a/ctl/flag_ctl.ml b/ctl/flag_ctl.ml
index 97a487d..e78fb19 100644 (file)
--- a/ctl/flag_ctl.ml
+++ b/ctl/flag_ctl.ml
@@ -36,3 +36,7 @@ let bench = ref 0
 
 let steps = ref (None : int option)
 
+let graphical_trace = ref false
+let gt_without_label = ref false
+
+let checking_reachability = ref false