fixup SimpleSmt get_value per review

This commit is contained in:
Qyriad 2024-08-27 14:10:43 -06:00
commit 78e08626fb

2
series

@ -1 +1 @@
Subproject commit b08196ec9b31e3be564f76f44b1ea920beee5e07
Subproject commit 52c35b12c300dfe89c5e1b55c45be766c4ac395d