diff options
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 |} [] |