From 0ddbbe9bd2cdf4ace9689f4dcf0f1527a432c196 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 3 Sep 2021 15:41:52 -0700
Subject: [PATCH] #5532

---
 src/sat/smt/q_mam.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/sat/smt/q_mam.cpp b/src/sat/smt/q_mam.cpp
index e5922fd8c..cf38719a9 100644
--- a/src/sat/smt/q_mam.cpp
+++ b/src/sat/smt/q_mam.cpp
@@ -3333,6 +3333,8 @@ namespace q {
         }
 
         void update_vars(unsigned short var_id, path * p, quantifier * qa, app * mp) {
+            if (var_id >= qa->get_num_decls())
+                return;
             paths & var_paths = m_var_paths[var_id];
             bool found = false;
             for (path* curr_path : var_paths) {