diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-07-08 15:48:02 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-07-08 15:48:15 +0200 |
| commit | 94f9a9c36db60971ba347779283895c96f05cb78 (patch) | |
| tree | fae7c0aa03df8aa167b2154a98c5b62d5ffc8adf /kvx | |
| parent | b67c28dd4dc6df5a5d3827f3a5827e437f3fcce4 (diff) | |
| download | compcert-kvx-94f9a9c36db60971ba347779283895c96f05cb78.tar.gz compcert-kvx-94f9a9c36db60971ba347779283895c96f05cb78.zip | |
print_path_info fix
Diffstat (limited to 'kvx')
| -rw-r--r-- | kvx/lib/RTLpathLivegenaux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kvx/lib/RTLpathLivegenaux.ml b/kvx/lib/RTLpathLivegenaux.ml index 6875f155..dd971db8 100644 --- a/kvx/lib/RTLpathLivegenaux.ml +++ b/kvx/lib/RTLpathLivegenaux.ml @@ -279,7 +279,7 @@ let print_path_info pi = begin dprintf "(psize=%d; " (Camlcoq.Nat.to_int pi.psize); dprintf "input_regs="; print_regset pi.input_regs; - dprintf "output_regs="; + dprintf "; output_regs="; print_regset pi.output_regs; dprintf ")" end |