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 ---
 plugins/cc/ccalgo.mli | 2 --
 2 files changed, 5 deletions(-)

(limited to 'plugins/cc')

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 -> 
diff --git a/plugins/cc/ccalgo.mli b/plugins/cc/ccalgo.mli
index 4ebc6a135a..d52e83dc31 100644
--- a/plugins/cc/ccalgo.mli
+++ b/plugins/cc/ccalgo.mli
@@ -145,8 +145,6 @@ val tail_pac : pa_constructor -> pa_constructor
 
 val find : forest -> int -> int
 
-val find_pac : forest -> int -> pa_constructor -> int
-
 val find_oldest_pac : forest -> int -> pa_constructor -> int
 
 val term : forest -> int -> term
-- 
cgit v1.2.3