From 8c7809d024e85d0a8acfb794a4db41b0e4bc13e6 Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Mon, 2 May 2022 09:49:01 +0900
Subject: v0.8.2-1

---
 comparison/OCaml/isort40000.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'comparison/OCaml/isort40000.ml')

diff --git a/comparison/OCaml/isort40000.ml b/comparison/OCaml/isort40000.ml
index 92e127d..a1d00a5 100644
--- a/comparison/OCaml/isort40000.ml
+++ b/comparison/OCaml/isort40000.ml
@@ -1,3 +1,5 @@
+open Format
+
 let rec insert x ylist =
   match ylist with
     [] -> [x]
@@ -30,5 +32,5 @@ let rec validation alist =
   | x::xs -> validation_cons x xs;;
 
 
-let main = validation(isort (mkRandList 40000));;
+let () = print_bool (validation (isort (mkRandList 40000)));;
 
-- 
cgit v1.2.3