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.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/tac2intern.ml')

diff --git a/src/tac2intern.ml b/src/tac2intern.ml
index bf7e93cb9e..b62a574a6c 100644
--- a/src/tac2intern.ml
+++ b/src/tac2intern.ml
@@ -24,7 +24,6 @@ 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_unit = coq_type "unit"
 let t_list = coq_type "list"
 
 let c_nil = GTacCst (Other t_list, 0, [])
-- 
cgit v1.2.3