From 976f80ed226e53625cd807539b9336f52f6eb091 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Thu, 20 Jun 2024 20:25:19 +0200
Subject: Removed the need for () after rnd

---
 test/dup_cases.ml | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'test/dup_cases.ml')

diff --git a/test/dup_cases.ml b/test/dup_cases.ml
index 39bea23..cf1d4c1 100644
--- a/test/dup_cases.ml
+++ b/test/dup_cases.ml
@@ -20,11 +20,10 @@ end
 |} []
 
 (** The rnd function can generate different result, this is not a warning *)
-let ok_rnd () =
-  _test_instruction {|
-if rnd(): 
+let ok_rnd () = _test_instruction {|
+if rnd: 
     0
-elseif rnd():
+elseif rnd:
     0
 end
 |} []
-- 
cgit v1.2.3