From 0f0d5f1d0fe2aaed15590bf97acb75a6caf6465a Mon Sep 17 00:00:00 2001
From: L Lllvvuu <git@llllvvuu.dev>
Date: Wed, 15 Jan 2025 02:28:10 -0800
Subject: [PATCH] bump test

---
 test/calc.expected.out | 26 ++++++++++++++++++++++++--
 1 file changed, 24 insertions(+), 2 deletions(-)

diff --git a/test/calc.expected.out b/test/calc.expected.out
index 94f6a9f..8db4c61 100644
--- a/test/calc.expected.out
+++ b/test/calc.expected.out
@@ -3,8 +3,12 @@
    ["Trans.trans",
     "sorryAx",
     "instOfNatNat",
+    "Lean.Name.num",
+    "Lean.Name.str",
+    "Lean.Name.anonymous",
     "instTransEq",
     "Nat",
+    "Lean.Name",
     "OfNat.ofNat",
     "Bool.false",
     "Eq"],
@@ -20,14 +24,32 @@
    "goals": "no goals",
    "endPos": {"line": 3, "column": 19}},
   {"usedConstants":
-   ["sorryAx", "instOfNatNat", "Nat", "OfNat.ofNat", "Bool.false", "Eq"],
+   ["sorryAx",
+    "instOfNatNat",
+    "Lean.Name.num",
+    "Lean.Name.str",
+    "Lean.Name.anonymous",
+    "Nat",
+    "Lean.Name",
+    "OfNat.ofNat",
+    "Bool.false",
+    "Eq"],
    "tactic": "sorry",
    "proofState": 4,
    "pos": {"line": 2, "column": 14},
    "goals": "⊢ 3 = 4",
    "endPos": {"line": 2, "column": 19}},
   {"usedConstants":
-   ["sorryAx", "instOfNatNat", "Nat", "OfNat.ofNat", "Bool.false", "Eq"],
+   ["sorryAx",
+    "instOfNatNat",
+    "Lean.Name.num",
+    "Lean.Name.str",
+    "Lean.Name.anonymous",
+    "Nat",
+    "Lean.Name",
+    "OfNat.ofNat",
+    "Bool.false",
+    "Eq"],
    "tactic": "sorry",
    "proofState": 5,
    "pos": {"line": 3, "column": 14},