From d8f73aee76e8b63db97f41e978b579477a82ed50 Mon Sep 17 00:00:00 2001
From: Gregory Malecha
Date: Fri, 1 Aug 2014 19:06:00 -0400
Subject: Make coqdep find Require commands prefixed by Time

---
 tools/coqdep_lexer.mll | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/coqdep_lexer.mll b/tools/coqdep_lexer.mll
index 3bfea0c289..7d2978b253 100644
--- a/tools/coqdep_lexer.mll
+++ b/tools/coqdep_lexer.mll
@@ -90,6 +90,8 @@ rule coq_action = parse
       { load_file lexbuf }
   | "Add" space+ "LoadPath" space+
       { add_loadpath lexbuf }
+  | "Time" space+
+      { coq_action lexbuf }
   | space+
       { coq_action lexbuf }
   | "(*"
-- 
cgit v1.2.3