Skip to content

Commit

Permalink
fix spelling
Browse files Browse the repository at this point in the history
  • Loading branch information
JonathanWoollett-Light committed Dec 24, 2023
1 parent 42c7a5d commit 5df700f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion index.html
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,7 @@ <h3>Keywords</h3>
<li><span class="code">require</span>: A condition to prove with formal verification at compile-time.</li>
<li><span class="code">assume</span>: A condition assumed to be true at compile-time.</li>
<li><span class="code">sizeof</span>: <a href="https://en.wikipedia.org/wiki/Sizeof">C's <span class="code">sizeof</span></a>.</li>
<li><span class="code">unreachable</span>: Denoates the end of execution, all following statements are unreachable.</li>
<li><span class="code">unreachable</span>: Marks the end of execution, all following statements are unreachable.</li>
</ol>
<h3>Tentative keywords</h3>
<ol>
Expand Down

0 comments on commit 5df700f

Please sign in to comment.