From 34777e3d7ab22ad6946c2c91fee3077de4f0748f Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Wed, 27 Jan 2021 20:56:46 +0100 Subject: [PATCH] [#719] Fix error reporting in case of arity error --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index 71e61e15..002cc941 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit 71e61e15ac3a51d1bf3d38c01abf7dfc052758f3 +Subproject commit 002cc9418ad3a28b2f925177afd6ed5065cca6e6