diff options
Diffstat (limited to 'compiler/sempass2.nim')
| -rw-r--r-- | compiler/sempass2.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/sempass2.nim b/compiler/sempass2.nim index 86149330e..efc19952c 100644 --- a/compiler/sempass2.nim +++ b/compiler/sempass2.nim @@ -1030,7 +1030,7 @@ proc track(tracked: PEffects, n: PNode) = when defined(drnim): if pragma == wAssume: addFact(tracked.guards, pragmaList[i][1]) - elif pragma == wInvariant: + elif pragma == wInvariant or pragma == wAssert: if prove(tracked, pragmaList[i][1]): addFact(tracked.guards, pragmaList[i][1]) |