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.

---
 kernel/nativeconv.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'kernel/nativeconv.ml')

diff --git a/kernel/nativeconv.ml b/kernel/nativeconv.ml
index 7ac5b8d7b2..4ed926f1fe 100644
--- a/kernel/nativeconv.ml
+++ b/kernel/nativeconv.ml
@@ -7,7 +7,6 @@
 (************************************************************************)
 open Errors
 open Names
-open Univ
 open Nativelib
 open Reduction
 open Util
-- 
cgit v1.2.3