From 2faa605e3935f2d2048309934c307b7dc8546241 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 16 Jun 2014 23:26:49 -0400
Subject: Clean up glpk detection a little, fix a detection bug.

---
 src/theory/arith/approx_simplex.cpp | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'src/theory/arith/approx_simplex.cpp')

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 {
-- 
cgit v1.2.3