From 26eb2a1350dcf0355c58c45e300d593204affb83 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 28 Jul 2011 15:22:31 +0000
Subject: Typo in arm/PrintAsm.ml

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1690 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 arm/PrintAsm.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'arm')

diff --git a/arm/PrintAsm.ml b/arm/PrintAsm.ml
index 44a7571..4406f5b 100644
--- a/arm/PrintAsm.ml
+++ b/arm/PrintAsm.ml
@@ -323,7 +323,7 @@ let print_builtin_memcpy oc sz al args =
   fprintf oc "%s begin builtin __builtin_memcpy_aligned, size = %d, alignment = %d\n"
           comment sz al;
   let n =
-    if sz <= 64
+    if sz <= 32
     then print_builtin_memcpy_small oc sz al src dst
     else print_builtin_memcpy_big oc sz al src dst in
   fprintf oc "%s end builtin __builtin_memcpy_aligned\n" comment; n
@@ -646,7 +646,7 @@ let print_fundef oc (Coq_pair(name, defn)) =
   match defn with
   | Internal code ->
       print_function oc name code
-  | External ef
+  | External ef ->
       if need_stub ef then print_external_function oc name (ef_sig ef)
 
 (* Data *)
-- 
cgit v1.2.3