From 139f02449a55ba658cd1dabb215a8a37156269a4 Mon Sep 17 00:00:00 2001
From: Mehdi Bouaziz <mbouaziz@fb.com>
Date: Thu, 25 Oct 2018 03:45:10 -0700
Subject: [PATCH] [inferbo] Remove useless opens

Reviewed By: skcho

Differential Revision: D10844715

fbshipit-source-id: 523e51a17
---
 infer/src/bufferoverrun/counter.ml  | 1 -
 infer/src/bufferoverrun/counter.mli | 1 -
 infer/src/bufferoverrun/itv.ml      | 5 +----
 infer/src/bufferoverrun/itv.mli     | 2 +-
 infer/src/bufferoverrun/symb.ml     | 1 -
 infer/src/bufferoverrun/symb.mli    | 1 -
 6 files changed, 2 insertions(+), 9 deletions(-)

diff --git a/infer/src/bufferoverrun/counter.ml b/infer/src/bufferoverrun/counter.ml
index 92d3513d8..952aeba4d 100644
--- a/infer/src/bufferoverrun/counter.ml
+++ b/infer/src/bufferoverrun/counter.ml
@@ -6,7 +6,6 @@
  *)
 
 open! IStd
-open! AbstractDomain.Types
 
 type t = unit -> int
 
diff --git a/infer/src/bufferoverrun/counter.mli b/infer/src/bufferoverrun/counter.mli
index 7280f8e1a..5201cad99 100644
--- a/infer/src/bufferoverrun/counter.mli
+++ b/infer/src/bufferoverrun/counter.mli
@@ -6,7 +6,6 @@
  *)
 
 open! IStd
-open! AbstractDomain.Types
 
 type t
 
diff --git a/infer/src/bufferoverrun/itv.ml b/infer/src/bufferoverrun/itv.ml
index 0e5936424..e28b19ed6 100644
--- a/infer/src/bufferoverrun/itv.ml
+++ b/infer/src/bufferoverrun/itv.ml
@@ -79,10 +79,7 @@ module type NonNegativeSymbol = sig
 
   val int_ub : t -> NonNegativeInt.t option
 
-  val subst :
-       t
-    -> (Symb.Symbol.t -> t AbstractDomain.Types.bottom_lifted)
-    -> (NonNegativeInt.t, t) Bounds.valclass
+  val subst : t -> (Symb.Symbol.t -> t bottom_lifted) -> (NonNegativeInt.t, t) Bounds.valclass
 
   val pp : F.formatter -> t -> unit
 end
diff --git a/infer/src/bufferoverrun/itv.mli b/infer/src/bufferoverrun/itv.mli
index 6309ca853..b53599db6 100644
--- a/infer/src/bufferoverrun/itv.mli
+++ b/infer/src/bufferoverrun/itv.mli
@@ -50,7 +50,7 @@ module NonNegativePolynomial : sig
 
   val min_default_left : astate -> astate -> astate
 
-  val subst : astate -> (Symb.Symbol.t -> Bound.t AbstractDomain.Types.bottom_lifted) -> astate
+  val subst : astate -> (Symb.Symbol.t -> Bound.t bottom_lifted) -> astate
 
   val degree : astate -> int option
 
diff --git a/infer/src/bufferoverrun/symb.ml b/infer/src/bufferoverrun/symb.ml
index 64f5a31cf..444e7450c 100644
--- a/infer/src/bufferoverrun/symb.ml
+++ b/infer/src/bufferoverrun/symb.ml
@@ -5,7 +5,6 @@
  * LICENSE file in the root directory of this source tree.
  *)
 open! IStd
-open! AbstractDomain.Types
 module F = Format
 
 module BoundEnd = struct
diff --git a/infer/src/bufferoverrun/symb.mli b/infer/src/bufferoverrun/symb.mli
index 4822d599b..64201dac6 100644
--- a/infer/src/bufferoverrun/symb.mli
+++ b/infer/src/bufferoverrun/symb.mli
@@ -6,7 +6,6 @@
  *)
 
 open! IStd
-open! AbstractDomain.Types
 module F = Format
 
 module BoundEnd : sig