Fix issue #1216
This commit is contained in:
parent
1658a29ec6
commit
ec23f5ec0a
1 changed files with 1 additions and 1 deletions
|
|
@ -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:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue