diff options
| author | Clay Sweetser <clay.sweetser@gmail.com> | 2014-05-26 07:24:57 -0400 |
|---|---|---|
| committer | Clay Sweetser <clay.sweetser@gmail.com> | 2014-06-15 20:13:44 -0400 |
| commit | ec23f5ec0a5d65a8aca2dadddf052852f53d83ba (patch) | |
| tree | 4a363eab1246e9f165458aa06e771bc9af006ade | |
| parent | 1658a29ec6bf24a4c144ad3cd36a41ebf35756ff (diff) | |
| download | Nim-ec23f5ec0a5d65a8aca2dadddf052852f53d83ba.tar.gz | |
Fix issue #1216
| -rw-r--r-- | compiler/guards.nim | 2 |
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: |