diff options
| -rw-r--r-- | asmcomp/i386/selection.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/asmcomp/i386/selection.ml b/asmcomp/i386/selection.ml index f25f09007..38c7a1d73 100644 --- a/asmcomp/i386/selection.ml +++ b/asmcomp/i386/selection.ml @@ -282,9 +282,6 @@ method! insert_op_debug op dbg rs rd = with Use_default -> super#insert_op_debug op dbg rs rd -method! insert_op op rs rd = - self#insert_op_debug op Debuginfo.none rs rd - (* Selection of push instructions for external calls *) method select_push exp = |