diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-16 23:26:49 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:39 -0400 |
commit | 2faa605e3935f2d2048309934c307b7dc8546241 (patch) | |
tree | 445d0209365aa06b490d698502470a3834cbc0b2 /src/theory/arith | |
parent | 7d7012526f681e9f0a5db0760baa2e4e9de6602b (diff) |
Clean up glpk detection a little, fix a detection bug.
Diffstat (limited to 'src/theory/arith')
-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 { |