- bug fix in the static disambiguation of unified binders

[helm.git] / helm / software / helena / src / lib / time.ml

diff --git a/helm/software/helena/src/lib/time.ml b/helm/software/helena/src/lib/time.ml
index 7c59c22c5f810e5d90d58102d5a2bdb89e1ce311..eea82103eadfac638324dd294c751449d7c54268 100644 (file)
--- a/helm/software/helena/src/lib/time.ml
+++ b/helm/software/helena/src/lib/time.ml
@@ -10,6 +10,7 @@
       V_______________________________________________________________ *)
 
 module P = Printf
+
 module L = Log
 
 let level = 1