Remove code snippets from heading (because otherwise it renders funny in the toc)

This commit is contained in:
Tony Garnock-Jones 2023-03-17 10:33:51 +01:00
parent b74f9a708b
commit fac24309aa
3 changed files with 5 additions and 5 deletions

View File

@ -67,7 +67,7 @@ The result of evaluating it on `testdata` is as follows:
```
### Example 2: Selecting tests with `Record`s as their `annotatedValue`s
### Example 2: Selecting tests with Records as their annotatedValues
The path expression `// [.^ [= Test + = NondeterministicTest]] [. 1 rec]` proceeds in three steps:

View File

@ -397,7 +397,7 @@
<li class="md-nav__item">
<a href="#preserves.path--example-2-selecting-tests-with-records-as-their-annotatedvalues" class="md-nav__link">
Example 2: Selecting tests with wzxhzdk:12s as their wzxhzdk:13s
Example 2: Selecting tests with Records as their annotatedValues
</a>
</li>
@ -565,7 +565,7 @@
<li class="md-nav__item">
<a href="#preserves.path--example-2-selecting-tests-with-records-as-their-annotatedvalues" class="md-nav__link">
Example 2: Selecting tests with wzxhzdk:12s as their wzxhzdk:13s
Example 2: Selecting tests with Records as their annotatedValues
</a>
</li>
@ -692,7 +692,7 @@ annotations (for documentation and other purposes).</p>
<span class="s2">&quot;Implementations may vary in their treatment of the difference between expectations&quot;</span>
<span class="s2">&quot;13/14 and 16/17, depending on how they wish to treat end-of-stream conditions.&quot;</span>
</code></pre></div>
<h4 id="preserves.path--example-2-selecting-tests-with-records-as-their-annotatedvalues">Example 2: Selecting tests with <code>Record</code>s as their <code>annotatedValue</code>s</h4>
<h4 id="preserves.path--example-2-selecting-tests-with-records-as-their-annotatedvalues">Example 2: Selecting tests with Records as their annotatedValues</h4>
<p>The path expression <code>// [.^ [= Test + = NondeterministicTest]] [. 1 rec]</code> proceeds in three steps:</p>
<ol>
<li>

File diff suppressed because one or more lines are too long