From 9ff6d2d49cd71831b62358d35397f3f1823b2e81 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Fri, 7 Nov 2014 22:03:12 -0800
Subject: [PATCH] cpu.x86.64: 64-bit register is RDX not EDX. Fixes #1191.

---
 basis/cpu/x86/64/64.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/basis/cpu/x86/64/64.factor b/basis/cpu/x86/64/64.factor
index dc83164b06..4c083a3212 100644
--- a/basis/cpu/x86/64/64.factor
+++ b/basis/cpu/x86/64/64.factor
@@ -21,7 +21,7 @@ M: x86.64 pic-tail-reg RBX ;
 
 M: x86.64 return-regs
     {
-        { int-regs { RAX EDX } }
+        { int-regs { RAX RDX } }
         { float-regs { XMM0 XMM1 } }
     } ;