diff options
| author | Hugo Herbelin | 2014-08-11 16:37:29 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-08-12 13:37:13 +0200 |
| commit | 666dbb093b09c37941cfb856cdf96fda09c3bac9 (patch) | |
| tree | 1b1620a19279d02a1aefe5231a39b35d3cfb2b56 /kernel | |
| parent | eec197a86c37b0298fd551c0e5de23ac0c276f66 (diff) | |
Quick fix for avoiding infinitely many respawning and Warning "Coq
died" when coqtop or coqtopide.cmxs are in inconsistent state.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions