From 33f7df93bb686077b9ca164078763c2208cbe3d5 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 18 Aug 2017 17:03:37 +0200
Subject: Removing dead code.

---
 src/tac2intern.mli | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/tac2intern.mli')

diff --git a/src/tac2intern.mli b/src/tac2intern.mli
index ddec8eb7e4..898df649ba 100644
--- a/src/tac2intern.mli
+++ b/src/tac2intern.mli
@@ -6,7 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-open Genarg
 open Names
 open Mod_subst
 open Tac2expr
-- 
cgit v1.2.3