diff options
Diffstat (limited to 'test/ocaml/prelude.sail')
| -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 e9295cea..cf64b577 100644 --- a/test/ocaml/prelude.sail +++ b/test/ocaml/prelude.sail @@ -25,3 +25,4 @@ overload operator == = {eq_string, eq_real, eq_anything} overload ~ = {not_bool, not_vec} val print = "print_endline" : string -> unit + |