diff options
| author | flywind <xzsflywind@gmail.com> | 2021-02-21 21:53:28 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-21 19:53:28 -0800 |
| commit | 455690157250e9108819a3cb32a574da48d0f9c9 (patch) | |
| tree | 9f4300fb63fefea8818122d43b7cbf4ed57e8ee7 /lib/std/logic.nim | |
| parent | 4f10dde64a504d982ef0e1d46e42f506a9a88a1b (diff) | |
| download | Nim-455690157250e9108819a3cb32a574da48d0f9c9.tar.gz | |
use single backtick (#17141)
Diffstat (limited to 'lib/std/logic.nim')
| -rw-r--r-- | lib/std/logic.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/std/logic.nim b/lib/std/logic.nim index 3cc871a6e..84640d380 100644 --- a/lib/std/logic.nim +++ b/lib/std/logic.nim @@ -1,5 +1,5 @@ ## This module provides further logic operators like 'forall' and 'exists' -## They are only supported in ``.ensures`` etc pragmas. +## They are only supported in `.ensures` etc pragmas. proc `->`*(a, b: bool): bool {.magic: "Implies".} proc `<->`*(a, b: bool): bool {.magic: "Iff".} |