diff options
| author | Ouyancheng <1024842937@qq.com> | 2021-09-22 12:52:44 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-22 19:52:44 +0000 |
| commit | f9fd2f7a1e37540c0ac6a9ef33f9da91f69a8368 (patch) | |
| tree | 353cb7044930ef9e6aaaa638ed0027ab6ba079c3 /src/parser/CMakeLists.txt | |
| parent | 4cd199a554bd6a5247ab8143e1a3fb2d7eff88f3 (diff) | |
Fix solver_black unit test (#7233)
In file `test/unit/api/solver_black.cpp` line 1499,
`for (const std::pair<Term, Term>& t : dmap)` is not the correct way of iterating through the element pairs,
it should be `for (const std::pair<const Term, Term>& t : dmap)` as the keys are immutable.
This triggers a warning on LLVM clang 12.0.1 (not AppleClang) on macOS.
Diffstat (limited to 'src/parser/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions