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 = {