fix #5225

JuliaLang · Dec 23, 2013 · 6abc0ae · 6abc0ae
1 parent d135a07
commit 6abc0ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/gc.c b/src/gc.c
@@ -871,7 +871,7 @@ static void gc_mark(void)
             if (!gc_marked(v)) {
                 jl_value_t *fin = finalizer_table.table[i+1];
                 if (gc_typeof(fin) == (jl_value_t*)jl_voidpointer_type) {
-                    void *p = jl_unbox_voidpointer(fin);
+                    void *p = ((void**)fin)[1];
                     if (p)
                         ((void (*)(void*))p)(jl_data_ptr(v));
                     finalizer_table.table[i+1] = HT_NOTFOUND;