diff -r 473c71baff72 -r 490d89913a17 cmake/FindCOIN.cmake
--- a/cmake/FindCOIN.cmake	Thu Feb 28 23:45:39 2013 +0100
+++ b/cmake/FindCOIN.cmake	Mon Jul 15 08:33:08 2013 +0200
@@ -108,10 +108,3 @@
   COIN_ZLIB_LIBRARY
   COIN_BZ2_LIBRARY
 )
-
-IF(COIN_FOUND)
-  SET(LEMON_HAVE_LP TRUE)
-  SET(LEMON_HAVE_MIP TRUE)
-  SET(LEMON_HAVE_CLP TRUE)
-  SET(LEMON_HAVE_CBC TRUE)
-ENDIF(COIN_FOUND)