diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/sail_lib.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index f0ea7fb4..7a8dc88c 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -469,6 +469,9 @@ let print_int (str, x) = let print_bits (str, xs) = print_endline (str ^ string_of_bits xs) +let print_string(str, msg) = + print_endline (str ^ msg) + let reg_deref r = !r let string_of_zbit = function |