Thu, 03 Jan 2013 20:34:10 +0100Fix constant_folding missing call. [Bug found by Mario.]
Manuele Conti <conti.ma@alice.it> [Thu, 03 Jan 2013 20:34:10 +0100] rev 787
Fix constant_folding missing call. [Bug found by Mario.]