From 7f4a4b6c0594554010f9480ed677231badd7ed68 Mon Sep 17 00:00:00 2001
From: Gustavo Massaccesi <gustavo@oma.org.ar>
Date: Wed, 27 Mar 2019 12:01:13 -0300
Subject: [PATCH] fix record.ms

original commit: 1e83737283252ce7ac2d48c2bf8640bfb60fc932
---
 mats/record.ms | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mats/record.ms b/mats/record.ms
index 6e2ea32f5b..4d9726dd14 100644
--- a/mats/record.ms
+++ b/mats/record.ms
@@ -8918,7 +8918,7 @@
            (#2%list
              #t
              #t
-             (#2%record-type-descriptor? rcd)
+             (#3%record? rcd #!base-rtd)
              (#2%record-constructor-descriptor? rtd)
              #t
              #t