diff options
Diffstat (limited to 'perl_checker.src/tree.ml')
| -rw-r--r-- | perl_checker.src/tree.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/perl_checker.src/tree.ml b/perl_checker.src/tree.ml index 002548f..335934b 100644 --- a/perl_checker.src/tree.ml +++ b/perl_checker.src/tree.ml @@ -50,6 +50,7 @@ let ignore_package pkg = let die_with_pos pos msg = failwith (Info.pos2sfull pos ^ msg) let warn_with_pos pos msg = print_endline_flush (Info.pos2sfull pos ^ msg) +let warn_with_pos_always pos msg = print_endline_flush_always (Info.pos2sfull pos ^ msg) let s2context s = match s.[0] with |