diff options
Diffstat (limited to 'src/theory/arith/approx_simplex.cpp')
| -rw-r--r-- | src/theory/arith/approx_simplex.cpp | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/src/theory/arith/approx_simplex.cpp b/src/theory/arith/approx_simplex.cpp index 9f6b1796e..676c5cb25 100644 --- a/src/theory/arith/approx_simplex.cpp +++ b/src/theory/arith/approx_simplex.cpp @@ -431,13 +431,7 @@ public: /* Begin the declaration of GLPK specific code. */ #ifdef CVC4_USE_GLPK extern "C" { -/* Sometimes the header is in a subdirectory glpk/, sometimes not. - * The configure script figures it out. */ -#ifdef HAVE_GLPK_GLPK_H -# include <glpk/glpk.h> -#else /* HAVE_GLPK_GLPK_H */ -# include <glpk.h> -#endif /* HAVE_GLPK_GLPK_H */ +#include <glpk.h> }/* extern "C" */ namespace CVC4 { |