# HG changeset patch
# User marci
# Date 1083235918 0
# Node ID 5f6ea657b75d7b4906fa5bb7d6079329e81c1ccb
# Parent  3a2cb784750ad0fc6f9b6e8999be911bc2a3b917
const-ok

diff -r 3a2cb784750a -r 5f6ea657b75d src/work/jacint/preflow.h
--- a/src/work/jacint/preflow.h	Thu Apr 29 10:41:56 2004 +0000
+++ b/src/work/jacint/preflow.h	Thu Apr 29 10:51:58 2004 +0000
@@ -379,7 +379,7 @@
 
   private:
 
-    int push(const Node w, VecStack& active) {
+    int push(Node w, VecStack& active) {
       
       int lev=level[w];
       Num exc=excess[w];
@@ -580,9 +580,9 @@
 
 
 
-    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];