fix: smt get bugfix #10

Closed eigmax closed 1 year ago