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 *)