diff options
Diffstat (limited to 'arm/TargetPrinter.ml')
| -rw-r--r-- | arm/TargetPrinter.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml index 02c348a8..1dfe8af6 100644 --- a/arm/TargetPrinter.ml +++ b/arm/TargetPrinter.ml @@ -693,8 +693,6 @@ struct assert false | Pfreeframe(sz, ofs) -> assert false - | Psavelr(ofs) -> - assert false | Plabel lbl -> fprintf oc "%a:\n" print_label lbl; 0 | Ploadsymbol(r1, id, ofs) -> |