From: Gereon Kremer <nafur42@gmail.com>
Date: Wed, 25 Aug 2021 18:01:26 +0000 (-0700)
Subject: Add missing include (#7067)
X-Git-Tag: cvc5-1.0.0~1337
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=78d29da02099762374adeb694ed96c496c7e1ffc;p=cvc5.git

Add missing include (#7067)

This adds a missing include. Compilation fails right now, if libpoly is disabled.
---

diff --git a/src/theory/arith/nl/cad_solver.h b/src/theory/arith/nl/cad_solver.h
index 94bcb2907..c13b13614 100644
--- 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"