>From 6eda855e9baeb335b5ab4e36c4b0a072a706ee3b Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Thu, 28 May 2020 07:21:50 +0900
Subject: [PATCH 1/2] CodeSamples/formal: Fix typo in absperf litmus test names
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u+l-o-o-u-C.litmus | 2 +-
CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u+l-o-o-u-CE.litmus | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u+l-o-o-u-C.litmus b/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u+l-o-o-u-C.litmus
index b4bbbf98..19b70691 100644
--- a/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u+l-o-o-u-C.litmus
+++ b/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u+l-o-o-u-C.litmus
@@ -1,4 +1,4 @@
-C C-SB+l-o-o-u+l-o-o-u-+l-o-o-u-C
+C C-SB+l-o-o-u+l-o-o-u+l-o-o-u-C
{
}
diff --git a/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u+l-o-o-u-CE.litmus b/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u+l-o-o-u-CE.litmus
index 9382480b..c22f6a45 100644
--- a/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u+l-o-o-u-CE.litmus
+++ b/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u+l-o-o-u-CE.litmus
@@ -1,4 +1,4 @@
-C C-SB+l-o-o-u+l-o-o-u-+l-o-o-u-CE
+C C-SB+l-o-o-u+l-o-o-u+l-o-o-u-CE
{
}
--
2.17.1
