)]}'
{
  "commit": "caf2ba7c8b6d5f524b4fa0bf6935c3ce981cc151",
  "tree": "9a5018d2b591cdf44628f83c38a356b989d79d78",
  "parents": [
    "57050be3ab4d42c920555d906c110e750a70ce63"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Dec 26 10:45:13 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Dec 26 10:47:37 2024 -0800"
  },
  "message": "fix: fix: bug in `mkEqProof` within `grind`\n\nThis PR fixes another bug in the equality proof generator in the (WIP) `grind`\ntactic.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1a70c3a19cc435c386d4acce9c3408066b56b0a3",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind.lean",
      "new_id": "0c3d3c4067694b7e5795b705f57dfb148e61e8e2",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind.lean"
    },
    {
      "type": "modify",
      "old_id": "789d23428fb46d537e6d7d9cd8730f23aebbf3bf",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Proof.lean",
      "new_id": "4005b82bba6bccc746d65ab88cdf4211a55488a7",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Proof.lean"
    },
    {
      "type": "modify",
      "old_id": "15da909c6b700247f3ac4c3d849db603ac3cc965",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_pre.lean",
      "new_id": "4bcc50fac2576c9677b803034a379074cf91994f",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_pre.lean"
    }
  ]
}