diff options
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/executor.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index 475c89378..081a11f85 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -1173,6 +1173,7 @@ void write_extra_output() cover_collect(&extra_cov); if (!extra_cov.size) return; + write_output(kOutMagic); write_output(-1); // call index write_output(-1); // call num write_output(999); // errno |