From dba179845bbda1a0be3297a1ef31e4b3d4a8c769 Mon Sep 17 00:00:00 2001 From: Vaibhav Tulsyan Date: Thu, 4 Aug 2016 05:09:32 -0700 Subject: [PATCH] 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 --- infer/src/checkers/checkers.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/checkers/checkers.ml b/infer/src/checkers/checkers.ml index e20da7a3d..3aa001fa0 100644 --- 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] *)