epfl-lara/leon — pull request #58 by tarfaa (2014-03-11 16:28:38+00:00)
Title: Fixed postTraversal in TreeOps.

If I am not wrong, there is a bad copy-paste in TreeOps.