From f89196036246590131ce66019a9aad664db9b508 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Tue, 7 Jan 2025 17:52:28 -0800
Subject: [PATCH] fix: Volatile test

---
 Test/Integration.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Test/Integration.lean b/Test/Integration.lean
index 77968f0..098b7fc 100644
--- a/Test/Integration.lean
+++ b/Test/Integration.lean
@@ -73,7 +73,7 @@ def test_tactic : Test :=
     step "goal.tactic" [("stateId", .num 0), ("goalId", .num 0), ("tactic", .str "intro x")]
      ({ nextStateId? := .some 1, goals? := #[goal1], }: Protocol.GoalTacticResult),
     step "goal.print" [("stateId", .num 1), ("parentExpr", .bool true), ("rootExpr", .bool true)]
-     ({ parent? := .some { pp? := .some "fun x => ?m.12 x" }, }: Protocol.GoalPrintResult),
+     ({ parent? := .some { pp? := .some "fun x => ?m.11" }, }: Protocol.GoalPrintResult),
     step "goal.tactic" [("stateId", .num 1), ("goalId", .num 0), ("tactic", .str "intro y")]
      ({ nextStateId? := .some 2, goals? := #[goal2], }: Protocol.GoalTacticResult),
   ]