From 5e051a2d6e1583676ffd106338578a9e9ff4fbc1 Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Sat, 23 May 2020 18:02:28 +0200
Subject: [PATCH] Fix #446: NullPointer has no location information

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

diff --git a/sci b/sci
index 2d5158b7..efcbbc70 160000
--- a/sci
+++ b/sci
@@ -1 +1 @@
-Subproject commit 2d5158b7935e07e40e4d8c62a53762e8851875ed
+Subproject commit efcbbc704bcf7fab513cda5fd8b9876bf30fedfe