From a32ca56f7d1bc384cd93f612d4db7fdc05d113d6 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Tue, 9 Mar 2021 15:05:22 +0100 Subject: [PATCH] Add missing include if GLPK is enabled. (#6084) Fixes the nightly builds with GLPK. --- src/theory/arith/approx_simplex.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/theory/arith/approx_simplex.cpp b/src/theory/arith/approx_simplex.cpp index 80690f39c..0904a2901 100644 --- a/src/theory/arith/approx_simplex.cpp +++ b/src/theory/arith/approx_simplex.cpp @@ -30,6 +30,10 @@ #include "theory/arith/normal_form.h" #include "theory/eager_proof_generator.h" +#ifdef CVC4_USE_GLPK +#include "theory/arith/partial_model.h" +#endif + using namespace std; namespace CVC4 { -- 2.30.2