From 4b4365470d5000b14c7890f980d5b566571b52e1 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Mon, 28 Nov 2016 15:40:25 +0000
Subject: [PATCH] mam compiler: move reset of matched_exprs cache next to code
 reset

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

diff --git a/src/smt/mam.cpp b/src/smt/mam.cpp
index 8c1eecb84..60aed12e1 100644
--- a/src/smt/mam.cpp
+++ b/src/smt/mam.cpp
@@ -841,7 +841,6 @@ namespace smt {
             m_mp          = mp;
             m_num_choices = 0;
             m_todo.reset();
-            m_matched_exprs.reset();
             m_registers.fill(0);
             
             app * p = to_app(mp->get_arg(first_idx));
@@ -1226,6 +1225,7 @@ namespace smt {
         */
         void linearise(instruction * head, unsigned first_idx) {
             m_seq.reset();
+            m_matched_exprs.reset();
             while (!m_todo.empty())
                 linearise_core();