diff options
Diffstat (limited to 'test/ocaml')
| -rw-r--r-- | test/ocaml/prelude.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/ocaml/prelude.sail b/test/ocaml/prelude.sail index 6a8c703f..05c7bc9e 100644 --- a/test/ocaml/prelude.sail +++ b/test/ocaml/prelude.sail @@ -18,3 +18,4 @@ overload operator == = {eq_string, eq_real, eq_anything} overload ~ = {not_bool, not_vec} val print = "print_endline" : string -> unit + |