Minor typo fix

Summary: Typo in checkers.ml Closes https://github.com/facebook/infer/pull/424 Reviewed By: martinoluca Differential Revision: D3669416 Pulled By: jvillard fbshipit-source-id: 1ef0fed
8 years ago · dba179845b
parent 06cbdfa651
commit dba179845b
1 changed files with 1 additions and 1 deletions
--- a/infer/src/checkers/checkers.ml
+++ b/infer/src/checkers/checkers.ml
@ -16,7 +16,7 @@ module F = Format

 let verbose = ref true

-(** Convenience functions for chechers to print information *)
+(** Convenience functions for checkers to print information *)
 module PP = struct
  (** Print a range of lines of the source file in [loc], including [nbefore] lines before loc
      and [nafter] lines after [loc] *)