correctly make roundtrip() use make_smt()

This commit is contained in:
Qyriad 2025-03-24 19:12:41 +01:00
commit a5aeec4d5a

2
series

@ -1 +1 @@
Subproject commit 8d8fcf6615adf7cf487b103df2f39cb6350c925a
Subproject commit d4909c2688faa87e327a07032316e036b529b9c2