smack icon indicating copy to clipboard operation
smack copied to clipboard

PhantomData in the Rust model is not needed

Open keram88 opened this issue 3 years ago • 0 comments

SMACK can now support the PhantomData structure from standard Rust, so the model in smack.rs is no longer needed.

keram88 avatar Jul 02 '21 21:07 keram88