diff options
Diffstat (limited to 'arm')
| -rw-r--r-- | arm/PrintAsm.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arm/PrintAsm.ml b/arm/PrintAsm.ml index 01b881f..66aa908 100644 --- a/arm/PrintAsm.ml +++ b/arm/PrintAsm.ml @@ -888,6 +888,7 @@ let print_globdef oc (name, gdef) = let print_program oc p = (* fprintf oc " .fpu vfp\n"; *) + PrintAnnot.print_version_and_options oc comment; Hashtbl.clear filename_num; List.iter (print_globdef oc) p.prog_defs |