From e7815c703cedc43e09d8b4f4375b6d86a0354c85 Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Fri, 29 Sep 2017 16:19:48 -0400 Subject: [PATCH] Fix a typo --- src/muz/spacer/spacer_context.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/spacer/spacer_context.cpp b/src/muz/spacer/spacer_context.cpp index 772eca1e1..81120cea2 100644 --- a/src/muz/spacer/spacer_context.cpp +++ b/src/muz/spacer/spacer_context.cpp @@ -1293,7 +1293,7 @@ bool lemma::has_binding(app_ref_vector const &binding) { expr *lem = get_expr(); unsigned num_decls = to_quantifier(lem)->get_num_decls(); - SASSERT(bindings.size() == num_decls); + SASSERT(binding.size() == num_decls); for (unsigned off = 0, sz = m_bindings.size(); off < sz; off += num_decls) { unsigned i = 0;