Call destructor on the mCRL2 pins object
Call destructor on the mCRL2 pins object

Calling the destructor rids us of the temporary
files created by the jittyc rewriter (for a
sufficiently new version of ltsmin.h in mCRL2).

Sybe/composition,buschko/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,buschko/ltsmin,Sybe/composition,lordqwerty/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,alaarman/ltsmin,buschko/ltsmin,utwente-fmt/ltsmin,buschko/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin,Sybe/composition,alaarman/ltsmin,vbloemen/ltsmin,thedobs/LTSmin,utwente-fmt/ltsmin,Sybe/composition,alaarman/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,lordqwerty/ltsmin,trolando/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,trolando/ltsmin,trolando/ltsmin,thedobs/LTSmin,thedobs/LTSmin,thedobs/LTSmin,vbloemen/ltsmin,lordqwerty/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin