diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-09 15:05:22 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-09 14:05:22 +0000 |
commit | a32ca56f7d1bc384cd93f612d4db7fdc05d113d6 (patch) | |
tree | c932396ebc1663588300ea207b1e8ff46d608a1b /src/theory/arith/approx_simplex.cpp | |
parent | 540ef6910a2b7ffeb67bac18dfc489fb4a6115d6 (diff) |
Add missing include if GLPK is enabled. (#6084)
Fixes the nightly builds with GLPK.
Diffstat (limited to 'src/theory/arith/approx_simplex.cpp')
-rw-r--r-- | src/theory/arith/approx_simplex.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
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 { |