From ff62587774f6ca437c887cc3ff5d079895c5e214 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 22 Jun 2015 23:49:11 +0200
Subject: Changed a minor typo: Pstwxu should be Pstwux

---
 checklink/Check.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checklink/Check.ml')

diff --git a/checklink/Check.ml b/checklink/Check.ml
index 4924744c..bfd03c97 100644
--- a/checklink/Check.ml
+++ b/checklink/Check.ml
@@ -2130,7 +2130,7 @@ let rec compare_code ccode ecode pc: checker = fun fw ->
               >>= recur_simpl
           | _ -> error
           end
-      | Pstwxu(rd, r1, r2) ->
+      | Pstwux(rd, r1, r2) ->
           begin match ecode with
           | STWUX(rS, rA, rB) :: es ->
               OK(fw)
-- 
cgit