Fix doc/note/assertions.md typo

This commit is contained in:
Nigel Tao
2021-04-07 12:13:21 +10:00
parent 08f7e3dba4
commit 96f097c51f

View File

@@ -27,7 +27,7 @@ if x < 5 {
} else {
x = 1
// At this point, "x == 1" is a fact, but "x < 5" is not.
// At this point, "x == 1" is a fact, but "x < 5" is not.
// This assertion creates the "x < 5" fact.
assert x < 5