summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/LangRef.html8
1 files changed, 5 insertions, 3 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html
index ac527c4df5..9e1a1e4415 100644
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -1525,9 +1525,9 @@ any write to the same byte, except:</p>
<var>write<sub>2</sub></var>, and <var>write<sub>2</sub></var> happens
before <var>R<sub>byte</sub></var>, then <var>R<sub>byte</sub></var>
does not see <var>write<sub>1</sub></var>.
- <li>If <var>R<sub>byte</sub></var> happens before <var>write<sub>3</var>,
- then <var>R<sub>byte</sub></var> does not see
- <var>write<sub>3</sub></var>.
+ <li>If <var>R<sub>byte</sub></var> happens before
+ <var>write<sub>3</sub></var>, then <var>R<sub>byte</sub></var> does not
+ see <var>write<sub>3</sub></var>.
</ul>
<p>Given that definition, <var>R<sub>byte</sub></var> is defined as follows:
@@ -6161,6 +6161,8 @@ declare void @llvm.va_end(i8*)
</div>
+</div>
+
<!-- ======================================================================= -->
<h3>
<a name="int_gc">Accurate Garbage Collection Intrinsics</a>