summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/global_checks.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/global_checks.ml b/src/global_checks.ml
index c50bb31..8425ee3 100644
--- a/src/global_checks.ml
+++ b/src/global_checks.ml
@@ -183,7 +183,7 @@ let is_global_var context ident =
| _ -> false)
| I_func ->
(match ident with
- | "-b" | "-c" | "-d" | "-e" | "-f" | "-l" | "-r" | "-s" | "-w" | "-x" | "-z" | "-t"
+ | "-b" | "-c" | "-d" | "-e" | "-f" | "-l" | "-o" | "-r" | "-s" | "-w" | "-x" | "-z" | "-t"
| "abs" | "alarm" | "atan2" | "bless"
| "caller" | "chdir" | "chmod" | "chomp" | "chop" | "chown" | "chr" | "chroot" | "close" | "closedir" | "cos" | "crypt"
| "defined" | "delete" | "die"