X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftatoo.ml;h=9fb70457824f56475cb17f1bfcf37846764aa053;hb=c6a89f390d6171f99d98f794427c1cce42fbf40c;hp=6464cb4be8e307820171cfcaf2d1319a05ab5bf6;hpb=e56b9fbeaed04c1f2fb7019de34f7d8e87d6db73;p=tatoo.git diff --git a/src/tatoo.ml b/src/tatoo.ml index 6464cb4..9fb7045 100644 --- a/src/tatoo.ml +++ b/src/tatoo.ml @@ -15,8 +15,6 @@ open Format - - let time f arg msg = let t1 = Unix.gettimeofday () in let r = f arg in