From c92c431570e6fcf0359ed9e415415ae788d2dec8 Mon Sep 17 00:00:00 2001
From: nilsbecker <nilsbecker@whitecircleapps.com>
Date: Mon, 1 Oct 2018 16:32:04 +0200
Subject: [PATCH] adding call to update_max_generation

---
 src/smt/mam.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/mam.cpp b/src/smt/mam.cpp
index 00e079989..70741fa67 100644
--- a/src/smt/mam.cpp
+++ b/src/smt/mam.cpp
@@ -2571,6 +2571,7 @@ namespace smt {
             m_n1 = m_context.get_enode_eq_to(static_cast<const get_cgr *>(m_pc)->m_label, static_cast<const get_cgr *>(m_pc)->m_num_args, m_args.c_ptr());              \
             if (m_n1 == 0 || !m_context.is_relevant(m_n1))                                                                                                              \
                 goto backtrack;                                                                                                                                         \
+            update_max_generation(m_n1, nullptr);                                                                                                                       \
             m_registers[static_cast<const get_cgr *>(m_pc)->m_oreg] = m_n1;                                                                                             \
             m_pc = m_pc->m_next;                                                                                                                                        \
             goto main_loop;