From eafbaf41e528cc9825a503c66739a66a92ca65a8 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 12 Aug 2013 13:09:20 +0000
Subject: Change interface of Kildall solvers to avoid precomputing the map pc
 -> list of successors.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2305 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 backend/XTL.mli | 1 -
 1 file changed, 1 deletion(-)

(limited to 'backend/XTL.mli')

diff --git a/backend/XTL.mli b/backend/XTL.mli
index f2c2715..21671e9 100644
--- a/backend/XTL.mli
+++ b/backend/XTL.mli
@@ -84,7 +84,6 @@ exception Type_error_at of node
 (* Successors for dataflow analysis *)
 
 val successors_block: block -> node list
-val successors: xfunction -> node list PTree.t
 
 (* A generic framework for transforming extended basic blocks *)
 
-- 
cgit v1.2.3