From: Kim Nguyễn <kn@lri.fr>
Date: Sun, 21 Oct 2012 08:55:53 +0000 (+0200)
Subject: Fix indentation in the time function.
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;ds=sidebyside;h=1e6a2cc1fe6d69d45a4605aaf2ee6821a610a231;hp=1e6a2cc1fe6d69d45a4605aaf2ee6821a610a231;p=SXSI%2Fxpathcomp.git

Fix indentation in the time function.
Use Utils.time instead of the one INCLUDED "utils.ml"
---