diff options
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
| -rw-r--r-- | mppa_k1c/TargetPrinter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 19537bc0..355696de 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -248,7 +248,7 @@ module Target (*: TARGET*) = match Hashtbl.find_opt profiling_table x with | None -> let y = !next_profiling_position in next_profiling_position := succ y; - Hashtbl.add profiling_table x y; + Hashtbl.replace profiling_table x y; y | Some y -> y;; |