diff options
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".} |