From 9ecaa34f6da55fda9743324d0f2212833e2e8487 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr>
Date: Fri, 1 Sep 2017 16:00:05 +0200
Subject: Remove unused function Coq_omega.timing.

---
 plugins/omega/coq_omega.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/plugins/omega/coq_omega.ml b/plugins/omega/coq_omega.ml
index 6f4138828..47eb043e6 100644
--- a/plugins/omega/coq_omega.ml
+++ b/plugins/omega/coq_omega.ml
@@ -46,8 +46,6 @@ let resolve_id id = Proofview.Goal.enter begin fun gl ->
   apply (mkVar id)
 end
 
-let timing timer_name f arg = f arg
-
 let display_time_flag = ref false
 let display_system_flag = ref false
 let display_action_flag = ref false
-- 
cgit v1.2.3