More fixes to the execution trace.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Sun, 25 Nov 2018 23:22:39 +0000 (00:22 +0100)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Sun, 25 Nov 2018 23:22:39 +0000 (00:22 +0100)
commit427c06b2cd1d3f332046dab1213ca7da54a3d6eb
treef190e59027e22a0d0c2e28985b2c04981b93c71e
parentfad1b03a1b6fd54b868bca3c58b1179baa2aa16e
More fixes to the execution trace.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
rapport/ProjetOptimRO.tex