diff --git a/s/primdata.ss b/s/primdata.ss
index a8af5e93cd..87cb6642cf 100644
--- a/s/primdata.ss
+++ b/s/primdata.ss
@@ -2208,7 +2208,7 @@
   ($record-equal-procedure [flags discard])
   ($record-hash-procedure [flags discard])
   ($record-oops #;[sig [(maybe-who sub-ptr rtd) -> (bottom)]] [flags abort-op])
-  ($record-ref [sig [(ptr sub-index) -> (ptr)]] [flags mifoldable discard cp03])
+  ($record-ref [sig [(ptr sub-index) -> (ptr)]] [flags discard cp03])
   ($record-set! [sig [(ptr sub-index ptr) -> (void)]] [flags true])
   ($record-type-descriptor [flags pure mifoldable discard true])
   ($record-type-field-offsets [flags pure mifoldable discard true])