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 97ed19a0..3740c1f9 100644 --- a/arm/PrintAsm.ml +++ b/arm/PrintAsm.ml @@ -835,6 +835,7 @@ let print_globdef oc (name, gdef) = let print_program oc p = (* fprintf oc " .fpu vfp\n"; *) + Hashtbl.clear filename_num; List.iter (print_globdef oc) p.prog_defs |