From 2e1e9c90821658cdabaa05606b1021ef2e968559 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 15 Apr 2020 12:25:07 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/smt/theory_seq.cpp | 1 - src/util/buffer.h | 1 + src/util/vector.h | 2 +- 3 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp index 4125e9cc19d..dca1bbce27c 100644 --- a/src/smt/theory_seq.cpp +++ b/src/smt/theory_seq.cpp @@ -1640,7 +1640,6 @@ bool theory_seq::enforce_length(expr_ref_vector const& es, vector & le len.push_back(rational(s.length())); } else if (get_length(e, val)) { - SASSERT(!val.is_neg()); len.push_back(val); } else { diff --git a/src/util/buffer.h b/src/util/buffer.h index 13a5ca00b00..cd8c1d4ac9d 100644 --- a/src/util/buffer.h +++ b/src/util/buffer.h @@ -13,6 +13,7 @@ Module Name: Author: Leonardo de Moura (leonardo) 2006-10-16. + Daniel Schemmel 2019-2-23 Revision History: diff --git a/src/util/vector.h b/src/util/vector.h index f94fda4f019..5dfb199a494 100644 --- a/src/util/vector.h +++ b/src/util/vector.h @@ -17,10 +17,10 @@ Module Name: Author: Leonardo de Moura (leonardo) 2006-09-11. + Daniel Schemmel 2019-2-23 Revision History: - 2019-2-23 Renamed from vector to vector to provide new implementation --*/ #ifndef VECTOR_H_