projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 76c8bc4)
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)
This adds a missing include. Compilation fails right now, if libpoly is disabled.

src/theory/arith/nl/cad_solver.h patch | blob | history

diff --git a/src/theory/arith/nl/cad_solver.h b/src/theory/arith/nl/cad_solver.h
index 94bcb2907b97b0c721f392b3e022ef20d6549e18..c13b13614e48198de9e6bae1ba2e57d2aea53522 100644 (file)
--- a/src/theory/arith/nl/cad_solver.h
+++ b/src/theory/arith/nl/cad_solver.h
@@ -20,6 +20,7 @@
 
 #include "context/context.h"
 #include "expr/node.h"
+#include "smt/env.h"
 #include "theory/arith/nl/cad/cdcac.h"
 #include "theory/arith/nl/cad/proof_checker.h"