diff options
| -rw-r--r-- | tools/coqdep_lexer.mll | 2 |
1 files changed, 2 insertions, 0 deletions
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 } | "(*" |