diff options
| author |  Gregory Malecha <gmalecha@cs.harvard.edu> | 2014-08-01 21:22:11 -0400 |
|---|---|---|
| committer |  Pierre Boutillier <pierre.boutillier@pps.univ-paris-diderot.fr> | 2014-08-25 14:13:24 +0200 |
| commit | b45474e03dbba3687db4c7452432e686c32f60a4 (patch) | |
| tree | 75f4977dff2a6cb580ab4dc55655a9d6390230bf /tools/coqdep_common.ml | |
| parent | d8f73aee76e8b63db97f41e978b579477a82ed50 (diff) | |
Support for Timeout n and From ..
- The state machine gets kind of complex
maybe it should become a parser at some point?
Diffstat (limited to 'tools/coqdep_common.ml')
| -rw-r--r-- | tools/coqdep_common.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coqdep_common.ml b/tools/coqdep_common.ml index c965fb098..d7532dba6 100644 --- a/tools/coqdep_common.ml +++ b/tools/coqdep_common.ml @@ -128,7 +128,7 @@ let error_cannot_parse s (i,j) = let warning_module_notfound f s = eprintf "*** Warning: in file %s, library " f; - eprintf "%s.v is required and has not been found in loadpath!\n" + eprintf "%s.v is required and has not been found in the loadpath!\n" (String.concat "." s); flush stderr |