From 894e92d4f39dfa2374a1d87b9247a7b8901297ce Mon Sep 17 00:00:00 2001
From: Ryan Rhee <ryanrhee@fb.com>
Date: Wed, 10 Aug 2016 11:08:39 -0700
Subject: [PATCH] Fix comment formatting for linter context

Reviewed By: jvillard

Differential Revision: D3697689

fbshipit-source-id: 71391d2
---
 infer/src/clang/CLintersContext.ml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/infer/src/clang/CLintersContext.ml b/infer/src/clang/CLintersContext.ml
index 6b53032e8..fc5e1bc5b 100644
--- a/infer/src/clang/CLintersContext.ml
+++ b/infer/src/clang/CLintersContext.ml
@@ -9,12 +9,9 @@
 
 type context = {
   in_synchronized_block: bool;
-
-  (*
-   * True if the translation unit contains an ObjC class impl that's a subclass
-   * of CKComponent or CKComponentController.
-   *)
   is_ck_translation_unit: bool;
+  (** True if the translation unit contains an ObjC class impl that's a subclass
+      of CKComponent or CKComponentController. *)
 }
 
 let empty = {