From c7aa283b7a418f6372e67b386342815629e26f39 Mon Sep 17 00:00:00 2001 From: Eduard Karacharov <13005055+korowa@users.noreply.github.com> Date: Thu, 23 May 2024 14:20:15 +0300 Subject: [PATCH] Update src/Interpreters/TreeCNFConverter.h Co-authored-by: Antonio Andelic --- src/Interpreters/TreeCNFConverter.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Interpreters/TreeCNFConverter.h b/src/Interpreters/TreeCNFConverter.h index ae1551cd9c2..ec4b029eee9 100644 --- a/src/Interpreters/TreeCNFConverter.h +++ b/src/Interpreters/TreeCNFConverter.h @@ -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)) {