Skip to content

[smt] remove redundant clone #1978

[smt] remove redundant clone

[smt] remove redundant clone #1978