Remove non-reentrant timing function.
authorKim Nguyễn <kn@lri.fr>
Sun, 21 Oct 2012 10:12:58 +0000 (12:12 +0200)
committerKim Nguyễn <kn@lri.fr>
Sun, 21 Oct 2012 10:12:58 +0000 (12:12 +0200)
commitcb728132e1c5cb0a171ee09e9b3ced16da08f796
treef1848dc8b13c51675a4b95738787db55730f5a7d
parent7e27afe6fa006ad355237ccc0695c6493ea57929
Remove non-reentrant timing function.
src/utils.ml