From: Kim Nguyễn <kn@lri.fr>
Date: Fri, 26 Oct 2012 12:04:11 +0000 (+0200)
Subject: Merge branch 'reentrent-timing'
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=c24457c0df47a48b78bdfc93c3f2e4585687c639;hp=-c;p=SXSI%2Fxpathcomp.git

Merge branch 'reentrent-timing'

The work in this branch makes the timing function re-entrant. It is now
possible to do (Utils.time f x ~msg:"Timing f") where f does
(Utils.time g y ~msg:"Timing g") and time will properly print out the timing
for g and f (in that order) when f returns.
---

c24457c0df47a48b78bdfc93c3f2e4585687c639