Fix

ajreynol · Jan 14, 2025 · 8bfe8c9 · 8bfe8c9
1 parent 525750e
commit 8bfe8c9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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())
     {