Fix issue 48. - Githubissues

HeisenbugLtd / spat

SPARK Proof Analysis Tool

https://github.heisenbug.eu/spat/

Do What The F*ck You Want To Public License

15 stars 4 forks source link

Fix issue 48. #49

Closed Jellix closed 4 years ago

Jellix commented 4 years ago

Fixes issue #48