diff options
| author | Chimrod <> | 2024-06-20 20:25:19 +0200 |
|---|---|---|
| committer | Chimrod <> | 2024-06-20 20:25:19 +0200 |
| commit | 976f80ed226e53625cd807539b9336f52f6eb091 (patch) | |
| tree | dc0d199396c4f5571dffd83e693de2979046d4db /test/dup_cases.ml | |
| parent | 70c94d9465496340b34a85d0d6c7fc1fa5fdf949 (diff) | |
Removed the need for () after rnd
Diffstat (limited to 'test/dup_cases.ml')
| -rw-r--r-- | test/dup_cases.ml | 7 |
1 files changed, 3 insertions, 4 deletions
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 |} [] |