Skip to content

Commit

Permalink
fix code rendering error in givens.md (#21751)
Browse files Browse the repository at this point in the history
an extra code fence was added, so the bottom of the page is incorrectly
rendered
  • Loading branch information
bishabosha authored Oct 11, 2024
2 parents 46f4860 + e042803 commit 5e7ab15
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions docs/_docs/reference/contextual/givens.md
Original file line number Diff line number Diff line change
Expand Up @@ -90,8 +90,6 @@ time it is accessed. If the given is a mere alias to some immutable value, the g
Here is the full syntax for given instances. Some of these forms of givens are explained in a separate page: [Other Forms of Givens](../more-givens.md).

```ebnf
Here is the complete context-free syntax for all proposed features.
```
TmplDef ::= ... | 'given' GivenDef
GivenDef ::= [id ':'] GivenSig
GivenSig ::= GivenImpl
Expand Down

0 comments on commit 5e7ab15

Please sign in to comment.