diff -r 4b3191b4970b -r cd8897f67c26 lemon/lp.h
--- a/lemon/lp.h	Mon Jul 17 07:30:56 2006 +0000
+++ b/lemon/lp.h	Mon Jul 17 09:00:21 2006 +0000
@@ -23,6 +23,7 @@
 
 #ifdef HAVE_GLPK
 #include <lemon/lp_glpk.h>
+#include <lemon/mip_glpk.h>
 #elif HAVE_CPLEX
 #include <lemon/lp_cplex.h>
 #endif
@@ -54,10 +55,19 @@
   ///
   ///Currently, the possible values are "GLPK" or "CPLEX"
   const char default_solver_name[]="SOLVER";  
+
+  ///The default ILP solver.
+
+  ///The default ILP solver.
+  ///\ingroup gen_opt_group
+  ///
+  ///Currently, it is either \c LpGlpk or \c LpCplex
+  typedef MipGlpk Mip;
 #else
 #ifdef HAVE_GLPK
 #define DEFAULT_LP GLPK
   typedef LpGlpk Lp;
+  typedef MipGlpk Mip;
   const char default_solver_name[]="GLPK";
 #elif HAVE_CPLEX
 #define DEFAULT_LP CPLEX