Fix symbolic representation of records

This commit is contained in:
Michiel Borkent 2022-05-19 21:19:42 +02:00
parent 55f96e69fe
commit 8a25716ef4

2
sci

@ -1 +1 @@
Subproject commit 51452f76b42de6fa1b60ea8f690007881817c227
Subproject commit 665cb62ba50e29836f784ca3a6e999e3eff25e5d