From 48d99f38cbff8e572da971253e5781845b608a53 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Mon, 24 Apr 2017 16:39:00 -0700
Subject: [PATCH] [thread-safety] fix typo in printing of domain info

Reviewed By: jeremydubreil

Differential Revision: D4941723

fbshipit-source-id: a68413a
---
 infer/src/checkers/ThreadSafetyDomain.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/checkers/ThreadSafetyDomain.ml b/infer/src/checkers/ThreadSafetyDomain.ml
index 3d384f006..a12185399 100644
--- 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