Skip to content

Commit ef5bb21

Browse files
committed
Qualify use of Emitaux.reset
1 parent 86472d1 commit ef5bb21

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

backend/amd64/emit.mlp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1206,7 +1206,7 @@ let data l =
12061206

12071207
let reset_all () =
12081208
X86_proc.reset_asm_code ();
1209-
reset ();
1209+
Emitaux.reset ();
12101210
reset_debug_info(); (* PR#5603 *)
12111211
reset_imp_table();
12121212
reset_probes ();

0 commit comments

Comments
 (0)