diff options
Diffstat (limited to 'test/ocaml/reg_passing/reg_passing.sail')
| -rw-r--r-- | test/ocaml/reg_passing/reg_passing.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/ocaml/reg_passing/reg_passing.sail b/test/ocaml/reg_passing/reg_passing.sail index 35ddda93..01a310e6 100644 --- a/test/ocaml/reg_passing/reg_passing.sail +++ b/test/ocaml/reg_passing/reg_passing.sail @@ -5,7 +5,7 @@ register R3 : int val cast "reg_deref" : forall ('a : Type). register('a) -> 'a effect {rreg} val output = { - ocaml: "(fun (str, n) -> print_endline (str ^ string_of_big_int n))", + ocaml: "(fun (str, n) -> print_endline (str ^ Big_int.to_string n))", interpreter: "print_int" } : (string, int) -> unit |