diff options
Diffstat (limited to 'backend/XTL.mli')
-rw-r--r-- | backend/XTL.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backend/XTL.mli b/backend/XTL.mli index f2c27152..21671e98 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 *) |