diff options
| author | Alasdair Armstrong | 2017-11-15 19:02:31 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-15 19:02:31 +0000 |
| commit | 17488b1fdd35983f41c80282997c0ab820c9a23d (patch) | |
| tree | 56c30a3b32ead118e1bf8fea5e713b8b1c1289b1 /lib/ocaml_rts | |
| parent | 82d5f420cbade62db7a1ae233a093122cddc5ae3 (diff) | |
Additional test case for OCaml backend
Diffstat (limited to 'lib/ocaml_rts')
| -rw-r--r-- | lib/ocaml_rts/sail_lib.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/ocaml_rts/sail_lib.ml b/lib/ocaml_rts/sail_lib.ml index e3a77edf..292f187e 100644 --- a/lib/ocaml_rts/sail_lib.ml +++ b/lib/ocaml_rts/sail_lib.ml @@ -439,10 +439,10 @@ let real_of_string str = 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) + print_endline (str ^ string_of_big_int x) let print_bits (str, xs) = - prerr_endline (str ^ string_of_bits xs) + print_endline (str ^ string_of_bits xs) let reg_deref r = !r |