# HG changeset patch
# User jacint
# Date 1080120981 0
# Node ID 4acba8684811ab401e0e647b0fe145c3f0d31eb1
# Parent  4a1d2e642552d45fd438c0d9f8f487b39aa65d3d
state_enum change

diff -r 4a1d2e642552 -r 4acba8684811 src/work/jacint/fib_heap.h
--- a/src/work/jacint/fib_heap.h	Tue Mar 23 17:28:47 2004 +0000
+++ b/src/work/jacint/fib_heap.h	Wed Mar 24 09:36:21 2004 +0000
@@ -226,8 +226,8 @@
     state_enum state(const Item &it) const {
       int i=iimap[it];
       if( i>=0 ) {
-	if ( container[i].in ) i=0;
-	else i=-2; 
+	if ( container[i].in ) i=IN_HEAP;
+	else i=POST_HEAP; 
       }
       return state_enum(i);
     }