Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
riscV
TargetPrinter.ml
Find file
Blame
History
Permalink
Remove superfluous function.
· 43b557ce
Bernhard Schommer
authored
Nov 06, 2017
The new_label function is alway equal to PrintAsmaux.new_label. Bug 22472
43b557ce