diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2002-12-04 14:21:51 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2002-12-04 14:21:51 +0000 |
commit | c448f65a74287a13bc7d888de35f5e4776ae3dde (patch) | |
tree | 0f65723fc4f228357d167ae0a94b8507c506df46 /perl_checker.src/flags.ml | |
parent | aafa35726b096f3e3b4967c0692a9abaee130ba1 (diff) | |
download | perl_checker-c448f65a74287a13bc7d888de35f5e4776ae3dde.tar perl_checker-c448f65a74287a13bc7d888de35f5e4776ae3dde.tar.gz perl_checker-c448f65a74287a13bc7d888de35f5e4776ae3dde.tar.bz2 perl_checker-c448f65a74287a13bc7d888de35f5e4776ae3dde.tar.xz perl_checker-c448f65a74287a13bc7d888de35f5e4776ae3dde.zip |
more restricted detection of non-use of if_()-like exprs
Diffstat (limited to 'perl_checker.src/flags.ml')
-rw-r--r-- | perl_checker.src/flags.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/perl_checker.src/flags.ml b/perl_checker.src/flags.ml index b2c40c2..5256831 100644 --- a/perl_checker.src/flags.ml +++ b/perl_checker.src/flags.ml @@ -2,4 +2,3 @@ open Common let verbose = ref false let quiet = ref false - |