X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/fc1ad9719a3a6317b3a4749dac68e7272a3617db..951c78018cc91c58699aef95c0ccc20f34065162:/parsing_c/flag_parsing_c.ml

diff --git a/parsing_c/flag_parsing_c.ml b/parsing_c/flag_parsing_c.ml
index 9c49c79..2f920b2 100644
--- a/parsing_c/flag_parsing_c.ml
+++ b/parsing_c/flag_parsing_c.ml
@@ -254,3 +254,4 @@ let set_smpl_spacing _ = spacing := SMPL   (*use spacing from the SP*)
 (* drop back edges made by proper loop constructs -
    unsafe but more efficient *)
 let no_loops = ref false
+let no_gotos = ref false