From e27b7e30381a66ff033a0afa80fdd82c749447fd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 1 Mar 2014 11:09:57 -0800 Subject: [PATCH] use size_t for return values from strlen Signed-off-by: Nikolaj Bjorner --- src/smt/smt_quantifier.cpp | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/smt/smt_quantifier.cpp b/src/smt/smt_quantifier.cpp index 8fd0e08bc..e9b0e069a 100644 --- a/src/smt/smt_quantifier.cpp +++ b/src/smt/smt_quantifier.cpp @@ -439,12 +439,12 @@ namespace smt { virtual bool model_based() const { return m_fparams->m_mbqi; } virtual bool mbqi_enabled(quantifier *q) const { - if(!m_fparams->m_mbqi_id) return true; - const symbol &s = q->get_qid(); - unsigned len = strlen(m_fparams->m_mbqi_id); - if(s == symbol::null || s.is_numerical()) - return len == 0; - return strncmp(s.bare_str(),m_fparams->m_mbqi_id,len) == 0; + if(!m_fparams->m_mbqi_id) return true; + const symbol &s = q->get_qid(); + size_t len = strlen(m_fparams->m_mbqi_id); + if(s == symbol::null || s.is_numerical()) + return len == 0; + return strncmp(s.bare_str(),m_fparams->m_mbqi_id,len) == 0; } /* Quantifier id's must begin with the prefix specified by