Minor non-functional tweak.

git-svn-id: svn://svn.valgrind.org/vex/branches/TCHAIN@2291

diff --git a/VEX/priv/host_s390_defs.c b/VEX/priv/host_s390_defs.c
index 6d420c9196a928e28422b60e486037ee68aba1f4..f46a1bed1fa3160a19287a173fda9e9af4191424 100644 (file)
--- a/VEX/priv/host_s390_defs.c
+++ b/VEX/priv/host_s390_defs.c
@@ -7849,9 +7849,9 @@ chainXDirect_S390(void *place_to_chain,
    if (shortOK) {
       p = s390_emit_BRCL(p, S390_CC_ALWAYS, delta);  /* 6 bytes */
 
-      /* Make sre that BRCL fits into the patchable part of an xdirect
+      /* Make sure that BRCL fits into the patchable part of an xdirect
          code sequence */
-      vassert(6 < s390_xdirect_patchable_len());
+      vassert(6 <= s390_xdirect_patchable_len());
 
       /* Fill remaining bytes with 0x00 (invalid opcode) */
       Int i;