diff options
| author | Tej Chajed | 2017-03-23 15:11:46 -0400 |
|---|---|---|
| committer | Tej Chajed | 2017-03-23 15:15:43 -0400 |
| commit | 209ff6ae4367b8c96b59bc318f4791dcb2251c14 (patch) | |
| tree | 4b3bfb5c0b8664ffe056c3a3af3117e1c5a1a785 /dev/doc | |
| parent | 9dc839ee08d4aef904d95bd358d5486b4964ef4e (diff) | |
Correctly identify [Time Defined.] as a defined
Need to check inside control expressions. Also fixes handling of
[Redirect "file" Defined.] and [Timeout n Defined.].
Fixes Coq bug 5411 (https://coq.inria.fr/bugs/show_bug.cgi?id=5411):
coqc -quick hangs on [Time Defined.]
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions