diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/ocaml/prelude.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/ocaml/prelude.sail b/test/ocaml/prelude.sail index 1960e56a..f055a9b6 100644 --- a/test/ocaml/prelude.sail +++ b/test/ocaml/prelude.sail @@ -152,6 +152,8 @@ and cast_unit_vec bitzero = 0b0 val print = "print_endline" : string -> unit +val string_of_int = "string_of_int" : int -> string + val putchar = "putchar" : forall ('a : Type). 'a -> unit val concat_str = "concat_str" : (string, string) -> string |