From f461e7657cab9917c5b405427ddba3d56f197efb Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 8 May 2016 18:59:55 +0200
Subject: Removing dead code and unused opens.

---
 plugins/micromega/coq_micromega.ml | 2 --
 plugins/micromega/g_micromega.ml4  | 5 -----
 2 files changed, 7 deletions(-)

(limited to 'plugins/micromega')

diff --git a/plugins/micromega/coq_micromega.ml b/plugins/micromega/coq_micromega.ml
index 5fef6d3fc6..5c0a8226a7 100644
--- a/plugins/micromega/coq_micromega.ml
+++ b/plugins/micromega/coq_micromega.ml
@@ -18,9 +18,7 @@
 
 open Pp
 open Mutils
-open Proofview
 open Goptions
-open Proofview.Notations
 
 (**
   * Debug flag 
diff --git a/plugins/micromega/g_micromega.ml4 b/plugins/micromega/g_micromega.ml4
index bca1c2febd..e6b5cc60d4 100644
--- a/plugins/micromega/g_micromega.ml4
+++ b/plugins/micromega/g_micromega.ml4
@@ -16,12 +16,7 @@
 
 (*i camlp4deps: "grammar/grammar.cma" i*)
 
-open Errors
-open Misctypes
-open Stdarg
 open Constrarg
-open Pcoq.Prim
-open Pcoq.Tactic
 
 DECLARE PLUGIN "micromega_plugin"
 
-- 
cgit v1.2.3