Release coccinelle-0.1.9-rc1

[bpt/coccinelle.git] / parsing_c / flag_parsing_c.ml

diff --git a/parsing_c/flag_parsing_c.ml b/parsing_c/flag_parsing_c.ml
index cfdeceb..9c49c79 100644 (file)
--- a/parsing_c/flag_parsing_c.ml
+++ b/parsing_c/flag_parsing_c.ml
@@ -250,3 +250,7 @@ let set_linux_spacing _ = spacing := LINUX (*follow the conventions of Linux*)
 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