From 090ec908b8f13db743f1609a7859a33e4ea5da9b Mon Sep 17 00:00:00 2001 From: Ben Hudson Date: Thu, 2 Mar 2017 06:30:35 -0800 Subject: [PATCH] [infer][PR] small typo fix Summary: Closes https://github.com/facebook/infer/pull/598 Differential Revision: D4642709 Pulled By: jvillard fbshipit-source-id: 6999405 --- infer/src/IR/Exceptions.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/IR/Exceptions.ml b/infer/src/IR/Exceptions.ml index 0a7a4fd98..603a66773 100644 --- a/infer/src/IR/Exceptions.ml +++ b/infer/src/IR/Exceptions.ml @@ -335,7 +335,7 @@ let err_class_string = function | Nocat -> "" | Linters -> "Linters" -(** wether to print the bug key together with the error message *) +(** whether to print the bug key together with the error message *) let print_key = false (** pretty print an error given its (id,key), location, kind, name, description, and optional ml location *)