[thread-safety] fix typo in printing of domain info

Reviewed By: jeremydubreil Differential Revision: D4941723 fbshipit-source-id: a68413a
8 years ago · 48d99f38cb
parent 24165942a4
commit 48d99f38cb
1 changed files with 1 additions and 1 deletions
--- a/infer/src/checkers/ThreadSafetyDomain.ml
+++ b/infer/src/checkers/ThreadSafetyDomain.ml
@ -171,7 +171,7 @@ module AccessPrecondition = struct

  let pp fmt = function
    | Protected -> F.fprintf fmt "Protected"
-    | Unprotected (Some index) -> F.fprintf fmt "Unproctected(%d)" index
+    | Unprotected (Some index) -> F.fprintf fmt "Unprotected(%d)" index
    | Unprotected None -> F.fprintf fmt "Unprotected"

  module Map = PrettyPrintable.MakePPMap(struct