diff options
Diffstat (limited to 'ia32')
-rw-r--r-- | ia32/PrintAsm.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ia32/PrintAsm.ml b/ia32/PrintAsm.ml index 88205155..9c8f963a 100644 --- a/ia32/PrintAsm.ml +++ b/ia32/PrintAsm.ml @@ -855,6 +855,7 @@ let print_globdef oc (name, gdef) = let print_program oc p = need_masks := false; indirect_symbols := StringSet.empty; + Hashtbl.clear filename_num; List.iter (print_globdef oc) p.prog_defs; if !need_masks then begin section oc Section_const; (* not Section_literal because not 8-bytes *) |