diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/ocaml/prelude.sail | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/ocaml/prelude.sail b/test/ocaml/prelude.sail index c2c5133f..e9295cea 100644 --- a/test/ocaml/prelude.sail +++ b/test/ocaml/prelude.sail @@ -2,8 +2,6 @@ default Order dec $include <prelude.sail> -union option ('a : Type) = {None : unit, Some : 'a} - val eq_string = "eq_string" : (string, string) -> bool val string_startswith = "string_startswith" : (string, string) -> bool val string_drop = "string_drop" : (string, nat) -> string |