Update src/Interpreters/TreeCNFConverter.h

Co-authored-by: Antonio Andelic <antonio2368@users.noreply.github.com>
This commit is contained in:
Eduard Karacharov 2024-05-23 14:20:15 +03:00 committed by Eduard Karacharov
parent 91c1456141
commit c7aa283b7a

View File

@ -186,7 +186,7 @@ TAndGroup reduceOnceCNFStatements(const TAndGroup & groups)
negative_atom.negative = !atom.negative;
// Sikpping erase-insert for mutually exclusive atoms within
// signle group, since it won't insert negative atom, which
// single group, since it won't insert negative atom, which
// will break the logic of this rule
if (copy.contains(negative_atom))
{