From 533b5ee5a3c5dd4c2e54d85dba9485722bb21db1 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 7 Oct 2017 22:47:48 +0200
Subject: Remove unused warnings.

---
 src/tac2intern.ml | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'src/tac2intern.ml')

diff --git a/src/tac2intern.ml b/src/tac2intern.ml
index 0efd9a3005..7b35cd55aa 100644
--- a/src/tac2intern.ml
+++ b/src/tac2intern.ml
@@ -8,7 +8,6 @@
 
 open Pp
 open Util
-open Genarg
 open CErrors
 open Names
 open Libnames
@@ -23,13 +22,8 @@ let coq_type n = KerName.make2 Tac2env.coq_prefix (Label.make n)
 
 let t_int = coq_type "int"
 let t_string = coq_type "string"
-let t_array = coq_type "array"
-let t_list = coq_type "list"
 let t_constr = coq_type "constr"
 
-let c_nil = GTacCst (Other t_list, 0, [])
-let c_cons e el = GTacCst (Other t_list, 0, [e; el])
-
 (** Union find *)
 
 module UF :
-- 
cgit v1.2.3