From 1cf5e3e300bf47b0fddc874830eaf79bbcf44f68 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 23 Apr 2026 13:03:58 -0700 Subject: [PATCH] remove unused function Signed-off-by: Nikolaj Bjorner --- src/smt/seq/seq_nielsen.h | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/smt/seq/seq_nielsen.h b/src/smt/seq/seq_nielsen.h index 4ca76dbc6..4ba43e709 100644 --- a/src/smt/seq/seq_nielsen.h +++ b/src/smt/seq/seq_nielsen.h @@ -740,10 +740,6 @@ namespace seq { // true if all str_eqs are trivial and there are no str_mems bool is_satisfied() const; - // true if any constraint has opaque (s_var) terms that - // the Nielsen graph cannot decompose - bool has_opaque_terms() const; - // render constraint set as an HTML fragment for DOT node labels. // mirrors ZIPT's NielsenNode.ToHtmlString() std::ostream& to_html(std::ostream& out, obj_map& names, uint64_t& next_id, ast_manager& m) const;