remove sparse_path changes from SimpleSmt commit

This commit is contained in:
Qyriad 2025-04-04 14:43:48 +02:00
commit 3e4724d684

2
series

@ -1 +1 @@
Subproject commit 5d6ef3eccf0e8652c5560bab34f5d933dccbcf1e
Subproject commit 81ce40ce497f1ef24b042051ef2a4e5f499c2497