diff options
| author | Enrico Tassi | 2020-12-02 11:08:48 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-03 13:54:05 +0100 |
| commit | 065913e830ea7b01a500c523c47dcbcdab980b72 (patch) | |
| tree | 8e7afce7a6a638a631ef10018c2548eecdebe2fb /kernel/nativelambda.mli | |
| parent | db13ff6866731001ad7d3021ab7cb4b3a54cba5c (diff) | |
[coqide] fix procedure to parse arguments
coqide calls coqidetop -batch, if you are in -async-proof on then
coqidetop spawns a worker and passes -batch to it. At some point,
I could not find the commit, this made the worker die.
On linux it seems it works anyway, but on windows this death is
perceived by coqide which then does not start.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions