PR#4480 remove inadvertent gnu-ism

thelema · Jan 17, 2008 · 4909ca1 · 4909ca1
1 parent 58dd4c9
commit 4909ca1
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/byterun/finalise.c b/byterun/finalise.c
@@ -11,7 +11,7 @@
 /*                                                                     */
 /***********************************************************************/
 
-/* $Id: finalise.c,v 1.19.10.1 2007-11-19 17:15:53 doligez Exp $ */
+/* $Id$ */
 
 /* Handling of finalised values. */
 
@@ -85,8 +85,9 @@ void caml_final_update (void)
       Assert (Is_in_heap (final_table[i].val));
       if (Is_white_val (final_table[i].val)){
         if (Tag_val (final_table[i].val) == Forward_tag){
+          value fv;
           Assert (final_table[i].offset == 0);
-          value fv = Forward_val (final_table[i].val);
+          fv = Forward_val (final_table[i].val);
           if (Is_block (fv) && (Is_young (fv) || Is_in_heap (fv))
               && (Tag_val (fv) == Forward_tag || Tag_val (fv) == Lazy_tag
                   || Tag_val (fv) == Double_tag)){