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 80690f39cada8bc688c13c1d255e446abdb612b9..0904a2901543a94ac5fbb8bba93656e3ccb343d6 100644 (file)
--- 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 {