← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to ctl/flag_ctl.ml

  • Committer: Yoann Padioleau
  • Date: 2007-07-24 11:41:11 UTC
  • Revision ID: git-v1:988f08eed0e8ab05b77fe6198fb0a4ba4e465273
add globals

svn path=/coccinelle/; revision=3023

Show diffs side-by-side

added added

removed removed

Lines of Context:
ctl/flag_ctl.ml
8
8
let loop_in_src_code = ref false
9
9
 
10
10
let bench = ref 0
11
 
 
12
 
let sgrep_mode2 = ref false