From 40b9d80ae57dc9c848b0c17c1f0f619bfd129038 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 14 Mar 2026 12:20:01 -0700 Subject: [PATCH] more review Signed-off-by: Nikolaj Bjorner --- src/smt/seq/seq_nielsen.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/seq/seq_nielsen.cpp b/src/smt/seq/seq_nielsen.cpp index 6e33d9aa9..79d175f9e 100644 --- a/src/smt/seq/seq_nielsen.cpp +++ b/src/smt/seq/seq_nielsen.cpp @@ -21,7 +21,7 @@ Author: NSB review: add ast_manager& m to nielsen_graph and remove local calls to get_manager() NSB review: add seq_util& seq to nielsen_graph and remove local calls to get_seq_util() NSB review: make m_graph a reference instead of a pointer on nielsen_node -NSB review: replace comparisons of snode ids by m.are_equal, for ast_manager m. +NSB review: replace comparisons of snode ids by m.are_equal, for ast_manager m. Make sure to use E-graph roots. --*/