)]}'
{
  "commit": "abd4495390890031238d9e6c21facfb5b78b5f2e",
  "tree": "c877e1b0e1424e9afcb9ae2ece0d1f57953d1ddb",
  "parents": [
    "b721c0f54041f6a6adc618c07851a7e0414bd1e4"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Dec 14 14:50:35 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Dec 14 14:52:46 2024 -0800"
  },
  "message": "fix: `simp_all?` local declarations\n\nThis PR fixes a bug in `simp_all?` that caused some local declarations to be omitted from the `Try this:` suggestions.\n\ncloses #3519\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2bc4f649fc69d195197ccd65c75e77f5b44c4b2c",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/SimpTrace.lean",
      "new_id": "7af839b06f2a1f2d4fc7bb0cc490eb917b508411",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/SimpTrace.lean"
    },
    {
      "type": "modify",
      "old_id": "1647adf08bb362daad7d9a40ef339797a4a063f0",
      "old_mode": 33188,
      "old_path": "tests/lean/run/3519.lean",
      "new_id": "2eabf3efacda24a9a39daa72c3c0b818431dc4d9",
      "new_mode": 33188,
      "new_path": "tests/lean/run/3519.lean"
    }
  ]
}