From 78d29da02099762374adeb694ed96c496c7e1ffc Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Wed, 25 Aug 2021 11:01:26 -0700 Subject: [PATCH] Add missing include (#7067) This adds a missing include. Compilation fails right now, if libpoly is disabled. --- src/theory/arith/nl/cad_solver.h | 1 + 1 file changed, 1 insertion(+) 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" -- 2.30.2