From 8a25716ef45537913bd1beef40aca1cd931256ef Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Thu, 19 May 2022 21:19:42 +0200
Subject: [PATCH] Fix symbolic representation of records

---
 sci | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci b/sci
index 51452f76..665cb62b 160000
--- a/sci
+++ b/sci
@@ -1 +1 @@
-Subproject commit 51452f76b42de6fa1b60ea8f690007881817c227
+Subproject commit 665cb62ba50e29836f784ca3a6e999e3eff25e5d