fix formatting in smt/tests.rs

This commit is contained in:
Qyriad 2024-11-15 12:42:46 -07:00
commit 949030ef5e

2
series

@ -1 +1 @@
Subproject commit 4cfc8ef02b11b564b25432962a88f2279e2e593c Subproject commit 136e31e6edad8e1065f88de9658a223c52949896