Thu, 03 Jan 2013 23:16:19 +0100 Manuele Conti Remove unused variable.
Thu, 03 Jan 2013 22:54:55 +0100 Manuele Conti Implement Mario's suggestions:
Thu, 03 Jan 2013 20:34:10 +0100 Manuele Conti Fix constant_folding missing call. [Bug found by Mario.]