From 67fda21314a577d6ae2bc9a5abf6df329b8ba85a Mon Sep 17 00:00:00 2001
From: Michael Schmidt <github@mschmidt.me>
Date: Mon, 14 Dec 2015 16:12:59 +0100
Subject: bug 17752, add builtin_mr for PowerPC

---
 powerpc/CBuiltins.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'powerpc/CBuiltins.ml')

diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml
index 6d5fe475..3ca8c17e 100644
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -117,7 +117,7 @@ let builtins = {
       (TVoid [], [TInt(IInt, []); TInt(IUInt, [])], false);
     (* Move register *)
     "__builtin_mr",
-      (TVoid [], [TInt(IUInt, []); TInt(IUInt, [])], false);
+      (TVoid [], [TInt(IInt, []); TInt(IInt, [])], false);
     (* Frame and return address *)
     "__builtin_call_frame",
       (TPtr (TVoid [],[]),[],false);
-- 
cgit