Repetition in TruthTree::_findAllNodesForEachDerivation #15

Open

Assignees

Labels

opened

on Feb 22, 2019

There is a redundant if check there.

Metadata

Assignees

ixjf

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests