diff options
| -rw-r--r-- | src/gen_lib/sail_values.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/gen_lib/sail_values.ml b/src/gen_lib/sail_values.ml index 3c194764..29f814fe 100644 --- a/src/gen_lib/sail_values.ml +++ b/src/gen_lib/sail_values.ml @@ -209,7 +209,8 @@ let set_register_bit_int reg n v = match reg with | Vregister(array,start,inc,name,fields) -> begin - tracef "%s[%d] <- %s\n" name n (string_of_bit v); + if !trace_writes then + tracef "%s[%d] <- %s\n" name n (string_of_bit v); (!array).(if inc then (n - start) else (start - n)) <- v end | _ -> failwith "set_register_bit of non-register" |