Revision 8854a93a3c194858647779fed0184712ce22c3ca

Committed on 10/04/2019 6:59 am by Luca Realdi <[email protected]> [GitHub Diff]

Fix int cast + avoid die()