[sledge] Remove redundant `open`

Reviewed By: ngorogiannis Differential Revision: D19221885 fbshipit-source-id: fa5ab7ffb
5 years ago · 65f0b691a9
parent 84bb409412
commit 65f0b691a9
1 changed files with 0 additions and 2 deletions
--- 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