Results 1 comments of Mario Alviano

Not sure if this is the best fix/workaround. I had a look at the code raising the error, noticed a couple of (void 0) functions, and guessed they were intended...