From 071ac75af22302099119fc9a935d0ace2dada7e6 Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Wed, 13 Nov 2019 23:37:13 +0100
Subject: [PATCH] Bump sci: better error messages for defn

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

diff --git a/sci b/sci
index 320ba4e2..c23dc0e1 160000
--- a/sci
+++ b/sci
@@ -1 +1 @@
-Subproject commit 320ba4e23b57802de5a20400c63f4ceeec86a30c
+Subproject commit c23dc0e15fb28247e90a9bc01f1516e788558fba