diff options
| author | Frederick Yin <fred.yin@sjtu.edu.cn> | 2021-10-11 20:48:27 +0800 |
|---|---|---|
| committer | Frederick Yin <fred.yin@sjtu.edu.cn> | 2021-10-11 20:48:27 +0800 |
| commit | 519b486f53032e8e41fe32ef550cd4ea94f2d7d8 (patch) | |
| tree | b3a0eba07e6d63f21949293b50b921889ed5be12 /worker | |
| parent | 92e6229895e97f8bbeab89658b8a69dcef9e9c13 (diff) | |
Suppress warnings from workers
Normally workers warn about deductions detected. This is unwanted
behavior, as we *will* display them in union. Thus, logging level is set
to ERROR.
Diffstat (limited to 'worker')
0 files changed, 0 insertions, 0 deletions