From 9da112a1985124f549254943c81495e637fb43cc Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 11 Apr 2020 22:05:00 +0100
Subject: spec: allow unions with mixed kinds

---
 tests_buffer | 1 -
 1 file changed, 1 deletion(-)

(limited to 'tests_buffer')

diff --git a/tests_buffer b/tests_buffer
index e01d7a7..80fa833 100644
--- a/tests_buffer
+++ b/tests_buffer
@@ -35,6 +35,5 @@ failure/
     merge { x = True, y = 1 } < x | y >.x
     merge {x=...,y=...} <x>.x
     merge {x=...,y=...} <x:T>.x
-fix unit_RightBiasedRecordMergeMixedKinds3 & 2 & unit_RecordMixedKinds3
 
 equivalence:
-- 
cgit v1.2.3