From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 17 Apr 2013 06:06:11 +0000 (+0200)
Subject: Fix remaining compilation bug caused by the refactoring of modules.
X-Git-Tag: v0.1~103
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=9efb3171eb9f70c92d7814a56684ef5f1eedf004;hp=9efb3171eb9f70c92d7814a56684ef5f1eedf004

Fix remaining compilation bug caused by the refactoring of modules.
(Bug was previously unnoticed because it only touches code that handle
tracing of automaton run)
---