diff options
Diffstat (limited to 'testsuite/tests/flambda/approx_meet.ml')
-rw-r--r-- | testsuite/tests/flambda/approx_meet.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/testsuite/tests/flambda/approx_meet.ml b/testsuite/tests/flambda/approx_meet.ml index c8a1276990..4445ae84bc 100644 --- a/testsuite/tests/flambda/approx_meet.ml +++ b/testsuite/tests/flambda/approx_meet.ml @@ -1,6 +1,9 @@ (* TEST - * flambda - * native + { + flambda; + }{ + native; + } *) (* from GPR#1794 *) |