From 7344adc686e8f0388d66b473fdda4455cf932823 Mon Sep 17 00:00:00 2001
From: Luc Maranget <Luc.Maranget@inria.fr>
Date: Sat, 9 Sep 2023 00:26:09 +0200
Subject: [PATCH] [herd,asl] Fix inversion of ADD and ADDS semantics.

---
 herd/AArch64ASLSem.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/herd/AArch64ASLSem.ml b/herd/AArch64ASLSem.ml
index 1d7a46def..446cbf70b 100644
--- a/herd/AArch64ASLSem.ml
+++ b/herd/AArch64ASLSem.ml
@@ -278,8 +278,8 @@ module Make (TopConf : AArch64Sig.Config) (V : Value.AArch64ASL) :
            | _ -> assert false
          and fname =
            match op with
-           | ADD -> "ADDS_32_addsub_shift.opn"
-           | ADDS -> "ADD_32_addsub_shift.opn"
+           | ADD -> "ADD_32_addsub_shift.opn"
+           | ADDS -> "ADDS_32_addsub_shift.opn"
            | SUB ->  "SUB_32_addsub_shift.opn"
            | SUBS ->  "SUBS_32_addsub_shift.opn"
            | AND ->  "AND_32_log_shift.opn"