Skip to content

Commit f544dd4

Browse files
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).
1 parent bb100a4 commit f544dd4

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

src/nlsat/nlsat_clause.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ namespace nlsat {
6464
assumption_set assumptions() const { return m_assumptions; }
6565
};
6666

67-
typedef std_vector<clause*> clause_vector;
67+
typedef ptr_vector<clause> clause_vector;
6868

6969
};
7070

src/nlsat/nlsat_solver.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -804,7 +804,7 @@ namespace nlsat {
804804
del_clause(cls);
805805
}
806806

807-
void del_clauses(std_vector<clause*> & cs) {
807+
void del_clauses(clause_vector & cs) {
808808
for (clause* cp : cs)
809809
del_clause(cp);
810810
cs.clear();

0 commit comments

Comments
 (0)