From ce4d0cb7803a4eb7269026409979a0b046d35552 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Wed, 7 Nov 2018 11:34:57 +0000
Subject: [CC plugin] Remove dead code

---
 plugins/cc/ccalgo.ml | 3 ---
 1 file changed, 3 deletions(-)

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

diff --git a/plugins/cc/ccalgo.ml b/plugins/cc/ccalgo.ml
index f26ec0f401..a6f432b5bd 100644
--- a/plugins/cc/ccalgo.ml
+++ b/plugins/cc/ccalgo.ml
@@ -333,9 +333,6 @@ let get_representative uf i=
 
 let get_constructors uf i= uf.map.(i).constructors
 
-let find_pac uf i pac =
-  PacMap.find pac (get_constructors uf i)
-
 let rec find_oldest_pac uf i pac=
   try PacMap.find pac (get_constructors uf i) with
     Not_found -> 
-- 
cgit v1.2.3