From e5e08ce659e1904501374643b336b6804a56c102 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 11 Apr 2017 05:34:25 -0700 Subject: [PATCH] fix warning and wrong type in GraphQL.ml Reviewed By: jberdine Differential Revision: D4867351 fbshipit-source-id: 369d823 --- infer/src/opensource/GraphQL.ml | 2 +- infer/src/opensource/GraphQL.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/infer/src/opensource/GraphQL.ml b/infer/src/opensource/GraphQL.ml index b594f6f33..f31cb62ab 100644 --- a/infer/src/opensource/GraphQL.ml +++ b/infer/src/opensource/GraphQL.ml @@ -8,5 +8,5 @@ *) module DeprecatedAPIUsage = struct - let checker context an = CTL.False, None + let checker _ _ = None end diff --git a/infer/src/opensource/GraphQL.mli b/infer/src/opensource/GraphQL.mli index 5af1dc03f..2875f8f69 100644 --- a/infer/src/opensource/GraphQL.mli +++ b/infer/src/opensource/GraphQL.mli @@ -11,5 +11,5 @@ module DeprecatedAPIUsage : sig val checker : CLintersContext.context -> Ctl_parser_types.ast_node -> - CTL.t * CIssue.issue_desc option + CIssue.issue_desc option end