diff options
| author | Alasdair Armstrong | 2017-11-03 18:15:40 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-03 18:15:40 +0000 |
| commit | e43324b207b13d7e4094e2561b4e4a84c76e1299 (patch) | |
| tree | ec3ecf746ac66b13c74cba328536759a4dd0a82a /test/ocaml/string_equality | |
| parent | 31d548faa0388fc517f2d2ccaee894a71d29698a (diff) | |
Fix ocaml test suite
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") |