Partial fix for toString on deftype, #1494

This commit is contained in:
Michiel Borkent 2023-02-14 18:36:09 +01:00
parent bf3623b596
commit 734ca577f6

2
sci

@ -1 +1 @@
Subproject commit 0575c0a30389b1dfadb3e417d94fa83aec12c4fc
Subproject commit beceb42e43b38ab8800fdb77cbf4418bd030a95c