bump test

leanprover-community · Jan 15, 2025 · 0f0d5f1 · 0f0d5f1
1 parent 27323b7
commit 0f0d5f1
Showing 1 changed file with 24 additions and 2 deletions.
diff --git 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},