From 90d64647d3fd5dbf5c337944dc0038f0b19b8a51 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 17 Jun 2014 14:26:02 +0200
Subject: Removing dead code.

---
 proofs/tacmach.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'proofs')

diff --git a/proofs/tacmach.ml b/proofs/tacmach.ml
index 695e8ab6ef..d58d1f5a01 100644
--- a/proofs/tacmach.ml
+++ b/proofs/tacmach.ml
@@ -7,9 +7,7 @@
 (************************************************************************)
 
 open Util
-open Names
 open Namegen
-open Term
 open Termops
 open Environ
 open Reductionops
-- 
cgit v1.2.3