From 65f0b691a9370c0796816f30e74d88160fcec215 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Thu, 9 Jan 2020 05:06:29 -0800
Subject: [PATCH] [sledge] Remove redundant `open`

Reviewed By: ngorogiannis

Differential Revision: D19221885

fbshipit-source-id: fa5ab7ffb
---
 sledge/src/symbheap/solver.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/sledge/src/symbheap/solver.ml b/sledge/src/symbheap/solver.ml
index 1d26c295f..e262b0063 100644
--- a/sledge/src/symbheap/solver.ml
+++ b/sledge/src/symbheap/solver.ml
@@ -38,8 +38,6 @@ let pp fs {com; min; xs; sub; pgs} =
     (if pgs then "t" else "f")
     Sh.pp com Sh.pp min pp_xs xs Sh.pp sub
 
-open Option.Monad_infix
-
 let fresh_var name vs zs ~wrt =
   let v, wrt = Var.fresh name ~wrt in
   let vs = Set.add vs v in