diff -r 916ec8699dc3 -r 85f1c483279e src/demo/lp_demo.cc
--- a/src/demo/lp_demo.cc	Fri Apr 08 14:21:40 2005 +0000
+++ b/src/demo/lp_demo.cc	Fri Apr 08 14:40:37 2005 +0000
@@ -38,6 +38,11 @@
     lp.setObj(ex);
   }
   lp.max();
+
+  lp.presolver(true);
+  
+  lp.messageLevel(3);
+
   lp.solve();
 
   return lp.primalValue();
@@ -45,13 +50,10 @@
 
 int main() 
 {
-  LpGlpk lp_glpk;
-
   ListGraph g;
   ListGraph::Node s;
   ListGraph::Node t;
   
-
   ListGraph::EdgeMap<double> cap(g);
   
   GraphReader<ListGraph> reader(std::cin,g);