Index: src/work/jacint/preflow.h
===================================================================
--- src/work/jacint/preflow.h	(revision 468)
+++ src/work/jacint/preflow.h	(revision 469)
@@ -380,5 +380,5 @@
   private:
 
-    int push(const Node w, VecStack& active) {
+    int push(Node w, VecStack& active) {
       
       int lev=level[w];
@@ -581,7 +581,7 @@
 
 
-    void relabel( const Node w, int newlevel, VecStack& active,  
-		  VecNode& level_list, NNMap& left, 
-		  NNMap& right, int& b, int& k, const bool what_heur ) {
+    void relabel(Node w, int newlevel, VecStack& active,  
+		 VecNode& level_list, NNMap& left, 
+		 NNMap& right, int& b, int& k, const bool what_heur ) {
 
       Num lev=level[w];