2014-08-06 17:51 GMT+04:00 Adam Chlipala <adamc at csail.mit.edu>: > I've now fixed the bug, which was in an algebraic optimization and had no > special connection to [postBody]. Thanks! > P.S.: In the future, please report such issues on the Mantis bug tracker, > rather than on this mailing list. I forgot completely about mantis, sorry. Regards, Sergey