From 6abc0aeb1675e9d761eaeb1a6b4afd14d2e439ba Mon Sep 17 00:00:00 2001
From: Jeff Bezanson <jeff.bezanson@gmail.com>
Date: Mon, 23 Dec 2013 12:22:09 -0500
Subject: [PATCH] fix #5225

---
 src/gc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gc.c b/src/gc.c
index a3ceaecd59120..cef208ce77f45 100644
--- 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;