From 76a6cc1bb5043bcd9a0b69701c60e40fc0eea2b4 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Wed, 13 Apr 2016 14:58:12 +0000
Subject: [PATCH] bugfix in the JIT compiler for 64bit machines

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

diff --git a/src/runtime/c/pgf/jit.c b/src/runtime/c/pgf/jit.c
index 36a6bb1fe..011d10899 100644
--- a/src/runtime/c/pgf/jit.c
+++ b/src/runtime/c/pgf/jit.c
@@ -458,7 +458,7 @@ pgf_jit_gates(PgfReader* rdr)
 	jit_movr_p(JIT_FP, JIT_SP);
 	jit_movi_p(JIT_R1, gates->update_closure);
 	jit_pushr_p(JIT_R1);
-	jit_retval(JIT_VCLOS);
+	jit_retval_p(JIT_VCLOS);
 	jit_patch(ref);
 	jit_ldr_p(JIT_R0, JIT_VCLOS);
 	jit_jmpr(JIT_R0);