diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-08-25 11:01:26 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-25 18:01:26 +0000 |
commit | 78d29da02099762374adeb694ed96c496c7e1ffc (patch) | |
tree | ee0d69d6b3294dbc43c2fff9b0c82fa47443d8e5 /src/util | |
parent | 76c8bc4c963b494db36074afac74e51ab39917e4 (diff) |
Add missing include (#7067)
This adds a missing include. Compilation fails right now, if libpoly is disabled.
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions