Closed z3dev closed 4 years ago
This functionality was lost in the last reworking of the STL deserializer.
Done in V2.
This functionality was lost in the last reworking of the STL deserializer.