[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
5 years ago · 991685dba0
parent 480f99cfc2
commit 991685dba0
1 changed files with 0 additions and 1 deletions
--- 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_"