diff --git a/test/binary/test_rich_header.kore.ref b/test/binary/test_rich_header.kore.ref
index 1aa578366..45af2a23e 100644
Binary files a/test/binary/test_rich_header.kore.ref and b/test/binary/test_rich_header.kore.ref differ