diff options
Diffstat (limited to 'test/ocaml/string_equality')
| -rw-r--r-- | test/ocaml/string_equality/string_equality.sail | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/test/ocaml/string_equality/string_equality.sail b/test/ocaml/string_equality/string_equality.sail index 68629862..568052cd 100644 --- a/test/ocaml/string_equality/string_equality.sail +++ b/test/ocaml/string_equality/string_equality.sail @@ -1,10 +1,3 @@ +val main : unit -> unit -val unit -> unit effect pure main - -function main () = { - if ("test" == "test") then { - print("true") - } else { - print("false") - } -} +function main () = if "test" == "test" then print("true") else print("false") |