diff options
Diffstat (limited to 'arm')
| -rw-r--r-- | arm/PrintAsm.ml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/arm/PrintAsm.ml b/arm/PrintAsm.ml index c0e2687..7007467 100644 --- a/arm/PrintAsm.ml +++ b/arm/PrintAsm.ml @@ -39,12 +39,8 @@ let label_for_label lbl = (* Basic printing functions *) -let strip_variadic_suffix name = - try String.sub name 0 (String.index name '$') - with Not_found -> name - let print_symb oc symb = - fprintf oc "%s" (strip_variadic_suffix (extern_atom symb)) + fprintf oc "%s" (extern_atom symb) let print_label oc lbl = fprintf oc ".L%d" (label_for_label lbl) |