From 805ac745e904815997bef64b6335d8cdf603c0bd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 1 Feb 2020 18:51:17 -0800
Subject: [PATCH] fix #2902

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/mam.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/mam.cpp b/src/smt/mam.cpp
index 9ea6abcfb..5da2f7735 100644
--- a/src/smt/mam.cpp
+++ b/src/smt/mam.cpp
@@ -2124,6 +2124,7 @@ namespace {
                         num_args == p2->get_num_args() &&
                         m_context.is_relevant(p2) &&
                         p2->is_cgr() &&
+                        i < num_args && 
                         p2->get_arg(i)->get_root() == p) {
                         v->push_back(p2);
                     }