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.mli | 2 --
 1 file changed, 2 deletions(-)

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

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