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.

---
 plugins/cc/ccproof.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'plugins/cc/ccproof.ml')

diff --git a/plugins/cc/ccproof.ml b/plugins/cc/ccproof.ml
index 4e1806f5a0..6177f22f3b 100644
--- a/plugins/cc/ccproof.ml
+++ b/plugins/cc/ccproof.ml
@@ -10,7 +10,6 @@
 (* proof-trees that will be transformed into proof-terms in cctac.ml4   *)
 
 open Errors
-open Names
 open Term
 open Ccalgo
 
-- 
cgit v1.2.3