coq/coq — pull request #31 by gmalecha (2014-08-01 23:13:51+00:00)
Title: Make coqdep find Require commands prefixed by Time

When running some tests timing import commands I noticed that coqdep does not notice Require commands when they are timed, i.e.

Require Foo.

is found but

Time Require Foo.

is not. This very simple patch, fixes this problem.