diff options
Diffstat (limited to 'backend/XTL.ml')
-rw-r--r-- | backend/XTL.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/backend/XTL.ml b/backend/XTL.ml index 93cab36..53c478d 100644 --- a/backend/XTL.ml +++ b/backend/XTL.ml @@ -100,9 +100,6 @@ let rec successors_block = function | instr :: blk -> successors_block blk | [] -> assert false -let successors fn = - PTree.map1 successors_block fn.fn_code - (**** Type checking for XTL *) exception Type_error |