From e43324b207b13d7e4094e2561b4e4a84c76e1299 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 3 Nov 2017 18:15:40 +0000
Subject: Fix ocaml test suite

---
 test/ocaml/string_equality/string_equality.sail | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

(limited to 'test/ocaml/string_equality')

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")
-- 
cgit v1.2.3