diff options
| author | Alasdair Armstrong | 2017-11-15 18:50:19 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-15 18:50:19 +0000 |
| commit | 82d5f420cbade62db7a1ae233a093122cddc5ae3 (patch) | |
| tree | 5313f52aafd104e14144024bdb7638f36f92d8fa /lib/ocaml_rts | |
| parent | 74d2157a022ce0036a1513bd2dada5fb55b71719 (diff) | |
Simplify flow typing code in typechecker
Diffstat (limited to 'lib/ocaml_rts')
| -rw-r--r-- | lib/ocaml_rts/sail_lib.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/ocaml_rts/sail_lib.ml b/lib/ocaml_rts/sail_lib.ml index 6876ec35..e3a77edf 100644 --- a/lib/ocaml_rts/sail_lib.ml +++ b/lib/ocaml_rts/sail_lib.ml @@ -441,6 +441,9 @@ let sqrt_real x = real_of_string (string_of_float (sqrt (Num.float_of_num x))) let print_int (str, x) = prerr_endline (str ^ string_of_big_int x) +let print_bits (str, xs) = + prerr_endline (str ^ string_of_bits xs) + let reg_deref r = !r let string_of_zbit = function |