projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76c8bc4) | patch
Add missing include (#7067)
authorGereon Kremer <nafur42@gmail.com>
Wed, 25 Aug 2021 18:01:26 +0000 (11:01 -0700)
committerGitHub <noreply@github.com>
Wed, 25 Aug 2021 18:01:26 +0000 (18:01 +0000)
commit78d29da02099762374adeb694ed96c496c7e1ffc
treeee0d69d6b3294dbc43c2fff9b0c82fa47443d8e5tree
parent76c8bc4c963b494db36074afac74e51ab39917e4commit | diff
Add missing include (#7067)

This adds a missing include. Compilation fails right now, if libpoly is disabled.
src/theory/arith/nl/cad_solver.h diff | blob | history