From 6156fae91e69d379cfa0263a4c4cafb48da56f85 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Tue, 2 May 2017 16:09:56 +0200
Subject: Fix two new unused opens.

---
 vernac/lemmas.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/vernac/lemmas.ml b/vernac/lemmas.ml
index 1344701ff..b79795aeb 100644
--- a/vernac/lemmas.ml
+++ b/vernac/lemmas.ml
@@ -28,10 +28,8 @@ open Pretyping
 open Termops
 open Namegen
 open Reductionops
-open Constrexpr
 open Constrintern
 open Impargs
-open Context.Rel.Declaration
 
 module RelDecl = Context.Rel.Declaration
 module NamedDecl = Context.Named.Declaration
-- 
cgit v1.2.3