Release coccinelle-0.1.7

[bpt/coccinelle.git] / parsing_cocci / flag_parsing_cocci.ml

diff --git a/parsing_cocci/flag_parsing_cocci.ml b/parsing_cocci/flag_parsing_cocci.ml
index 371a7f8..84db93b 100644 (file)
--- a/parsing_cocci/flag_parsing_cocci.ml
+++ b/parsing_cocci/flag_parsing_cocci.ml
@@ -27,3 +27,5 @@ let sgrep_mode = ref false (* no longer supported, subsumed by sgrep2 *)
 
 let show_SP = ref false
 let show_iso_failures = ref true
+
+let iso_limit = ref (None : int option) (*(Some 3)*)