From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Tue, 9 Mar 2021 14:05:22 +0000 (+0100)
Subject: Add missing include if GLPK is enabled. (#6084)
X-Git-Tag: cvc5-1.0.0~2130
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a32ca56f7d1bc384cd93f612d4db7fdc05d113d6;p=cvc5.git

Add missing include if GLPK is enabled. (#6084)

Fixes the nightly builds with GLPK.
---

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 {