diff options
| author | Robert Norton | 2017-04-21 12:42:39 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-21 12:42:39 +0100 |
| commit | 988e3f0f9bb5e00b9eb02c804018ae782678d715 (patch) | |
| tree | 8c2f65090071d2f9eade89416dbd2756d9da62d0 /src/pretty_print_ocaml.ml | |
| parent | e258d0337c27701f09dc1e6d8180ef95078c230a (diff) | |
suppress register field tracing if not enabled (missed in previous commit)
Diffstat (limited to 'src/pretty_print_ocaml.ml')
0 files changed, 0 insertions, 0 deletions