summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--compiler/guards.nim2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/guards.nim b/compiler/guards.nim
index f475f5068..2b69024d2 100644
--- a/compiler/guards.nim
+++ b/compiler/guards.nim
@@ -484,7 +484,7 @@ proc factImplies(fact, prop: PNode): TImplication =
     #  == not a or not b == not (a and b)
     let arg = fact.sons[1]
     case arg.getMagic
-    of mIsNil:
+    of mIsNil, mEqRef:
       return ~factImplies(arg, prop)
     of mAnd:
       # not (a and b)  means  not a or not b: