From 991685dba00830c5a65349e776b44e953a90abd9 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Fri, 25 Oct 2019 03:41:10 -0700
Subject: [PATCH] [pulse][trivial] unused module open

Summary:
Warning 33 (unused open) is enabled but the module open is not really
unused, it's just also opened at the top of the file...

Reviewed By: skcho

Differential Revision: D18114385

fbshipit-source-id: 2a8f9512a
---
 infer/src/pulse/PulseOperations.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/infer/src/pulse/PulseOperations.ml b/infer/src/pulse/PulseOperations.ml
index 20e126892..1465ed079 100644
--- a/infer/src/pulse/PulseOperations.ml
+++ b/infer/src/pulse/PulseOperations.ml
@@ -23,7 +23,6 @@ let check_addr_access location (address, history) astate =
 
 
 module Closures = struct
-  open Result.Monad_infix
   module Memory = AbductiveDomain.Memory
 
   let fake_capture_field_prefix = "__capture_"