From 7ed5fc97242777655d9128ebf695d18083d5a699 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 30 Apr 2020 11:29:28 +0200
Subject: nit: don't open Persistent_cache in micromega

---
 plugins/micromega/coq_micromega.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'plugins')

diff --git a/plugins/micromega/coq_micromega.ml b/plugins/micromega/coq_micromega.ml
index 7e4c4ce5c6..790979354b 100644
--- a/plugins/micromega/coq_micromega.ml
+++ b/plugins/micromega/coq_micromega.ml
@@ -2029,8 +2029,6 @@ type provername = string * int option
   * The caching mechanism.
   *)
 
-open Persistent_cache
-
 module MakeCache (T : sig
   type prover_option
   type coeff
@@ -2054,7 +2052,7 @@ struct
       Hash.((hash_pair T.hash_prover_option (List.fold_left hash_cstr)) 0)
   end
 
-  include PHashtable (E)
+  include Persistent_cache.PHashtable (E)
 
   let memo_opt use_cache cache_file f =
     let memof = memo cache_file f in
-- 
cgit v1.2.3