Update README.md (fix alignment in code blocks)

JetBrains-Research · Sep 13, 2024 · 138ecde · 138ecde
1 parent 1387b9a
commit 138ecde
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/README.md b/README.md
@@ -91,12 +91,12 @@ val StoreBuffering = litmusTest(::StoreBufferingState) {
         accept(listOf(0 to 1, 1 to 0, 1 to 1))
         interesting(listOf(0 to 0))
     }
-  reset {
-    x = 0
-    y = 0
-    r1 = 0
-    r2 = 0
-  }
+    reset {
+      x = 0
+      y = 0
+      r1 = 0
+      r2 = 0
+    }
 }
 ```
 
@@ -161,10 +161,10 @@ val StoreBuffering: LitmusTest<*> = litmusTest({
         accept(1, 1)
         interesting(0, 0)
     }
-  reset {
-    x = 0
-    y = 0
-  }
+    reset {
+      x = 0
+      y = 0
+    }
 }
 ```