From f544dd4ab2cec2567405204d7c3ac4cbefd2d20c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 2 Jul 2025 10:59:56 -0700 Subject: [PATCH] deal with warnings @levnach - there are some additional warnings. You could revert the change to std_vector or use usize() that I added to vector.h. Look at build logs from the pipelines or actions or figure out how to add a continuous AI script to fixup build warnings (I tried a few times earlier on but the features available to do this were not for laymen). --- src/nlsat/nlsat_clause.h | 2 +- src/nlsat/nlsat_solver.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/nlsat/nlsat_clause.h b/src/nlsat/nlsat_clause.h index c8cf4ae06..91467303c 100644 --- a/src/nlsat/nlsat_clause.h +++ b/src/nlsat/nlsat_clause.h @@ -64,7 +64,7 @@ namespace nlsat { assumption_set assumptions() const { return m_assumptions; } }; - typedef std_vector clause_vector; + typedef ptr_vector clause_vector; }; diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp index d5a5018b8..dc6f388e5 100644 --- a/src/nlsat/nlsat_solver.cpp +++ b/src/nlsat/nlsat_solver.cpp @@ -804,7 +804,7 @@ namespace nlsat { del_clause(cls); } - void del_clauses(std_vector & cs) { + void del_clauses(clause_vector & cs) { for (clause* cp : cs) del_clause(cp); cs.clear();