From db94cae74b8997f1380a39b2bfecdc4075e7e949 Mon Sep 17 00:00:00 2001
From: Ryan Rhee <ryanrhee@fb.com>
Date: Mon, 24 Oct 2016 10:47:50 -0700
Subject: [PATCH] [componentkit] Use type hint instead of explicit record for
 is_ck_context

Reviewed By: akotulski

Differential Revision: D4061878

fbshipit-source-id: 3ce5cc3
---
 infer/src/clang/ComponentKit.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/infer/src/clang/ComponentKit.ml b/infer/src/clang/ComponentKit.ml
index 4bc4fe97c..3a80cb26c 100644
--- a/infer/src/clang/ComponentKit.ml
+++ b/infer/src/clang/ComponentKit.ml
@@ -10,10 +10,10 @@
 open CFrontend_utils
 open !Utils
 
-let is_ck_context {CLintersContext.is_ck_translation_unit; translation_unit_context} decl =
-  is_ck_translation_unit
-  && Ast_utils.is_in_main_file translation_unit_context decl
-  && General_utils.is_objc_extension translation_unit_context
+let is_ck_context (context: CLintersContext.context) decl =
+  context.is_ck_translation_unit
+  && Ast_utils.is_in_main_file context.translation_unit_context decl
+  && General_utils.is_objc_extension context.translation_unit_context
 
 
 (** Recursively go up the inheritance hierarchy of a given ObjCInterfaceDecl.