)]}'
{
  "commit": "be61fff48b705d38643ca1353894aeed9e29c602",
  "tree": "59f69d8009913df8ab1ecab232178b35208517c0",
  "parents": [
    "28cf1cf5cfad0168d76d709a5e47fe4142a05fdc"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 04 17:41:09 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 04 17:43:00 2024 -0700"
  },
  "message": "fix: missing `dsimp` simplification when applying auto-congr theorems\n\ncloses #4339\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b39a70b29323ce1764d5dd40a73269e2e16f105e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Types.lean",
      "new_id": "14c12502e948bc2e4f410e0b5d34e8f1b8f28020",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Types.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "bd829197f503323540a08b8529ccb104ace2fa31",
      "new_mode": 33188,
      "new_path": "tests/lean/run/4339.lean"
    }
  ]
}