From: Kim Nguyễn <kn@lri.fr>
Date: Thu, 25 Jul 2013 13:24:58 +0000 (+0200)
Subject: Revert "Tentative optimization"
X-Git-Tag: v0.1~55
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=7361bb0501a656c2af8417dc1acfeb5613524684;hp=7361bb0501a656c2af8417dc1acfeb5613524684

Revert "Tentative optimization"

This reverts commit e9b4969905125718589b18ff6286e05688f7a929.
Avoiding the computation of a simplified formula does not help.
---