Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
riscV
TargetPrinter.ml
Find file
Blame
History
Permalink
Fix jumptable issue.
· 90f4de67
Bernhard Schommer
authored
Nov 08, 2017
Instead of using reset_constants use reset_literals which avoids emptying the jumptables. Bug 22525
90f4de67