[#957]: more varify in SCI

This commit is contained in:
Michiel Borkent 2021-08-01 22:07:58 +02:00
parent 3f72507f77
commit 1235ad0f9a

2
sci

@ -1 +1 @@
Subproject commit 3c7ebc9adc31261e342145696438022e8a9b9fce Subproject commit 46204fbce012f4495d691520ce545ad277a86747