From 8bfe8c99604fef84bc0f76a160e00d6282d621b8 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Tue, 14 Jan 2025 17:47:02 -0600
Subject: [PATCH] Fix

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

diff --git a/src/rewriter/basic_rewrite_rcons.cpp b/src/rewriter/basic_rewrite_rcons.cpp
index 1db452bbd5c..0bc27554e70 100644
--- a/src/rewriter/basic_rewrite_rcons.cpp
+++ b/src/rewriter/basic_rewrite_rcons.cpp
@@ -1600,8 +1600,8 @@ bool BasicRewriteRCons::ensureProofMacroLambdaAppElimShadow(CDProof* cdp,
   size_t i = 0;
   while (i < matchConds.size())
   {
-    Assert(mc.getKind() == Kind::EQUAL);
     Node mc = matchConds[i];
+    Assert(mc.getKind() == Kind::EQUAL);
     i++;
     if (mc[0].getKind() == mc[1].getKind() && mc[0].isClosure())
     {