Fix #446: NullPointer has no location information

This commit is contained in:
Michiel Borkent 2020-05-23 18:02:28 +02:00
parent 161aec1ada
commit 5e051a2d6e

2
sci

@ -1 +1 @@
Subproject commit 2d5158b7935e07e40e4d8c62a53762e8851875ed
Subproject commit efcbbc704bcf7fab513cda5fd8b9876bf30fedfe