fix record.ms

original commit: 1e83737283252ce7ac2d48c2bf8640bfb60fc932
2019-03-27 12:01:13 -03:00 · 2019-03-27 12:01:13 -03:00 · 7f4a4b6c05
commit 7f4a4b6c05
parent 191a4f3c49
1 changed files with 1 additions and 1 deletions
--- 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