)]}'
{
  "commit": "34ad7e659385088564d41fd6ee2ccfa26911f6fa",
  "tree": "7f6d45723906263691b2d35d2436f5ae8032fff3",
  "parents": [
    "fbedb79b4694ef86162694b1b1b8c489ecbd71ac"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Feb 12 15:52:49 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Feb 12 15:52:49 2024 -0800"
  },
  "message": "fix: simp gets stuck on autoParam\n\ncloses #2862\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fef24d51a5d8405439fa7d19e6ccede6cf62dc81",
      "old_mode": 33188,
      "old_path": "src/Lean/Expr.lean",
      "new_id": "16e3b920fe4e529ef516194167ba3623ea5217a7",
      "new_mode": 33188,
      "new_path": "src/Lean/Expr.lean"
    },
    {
      "type": "modify",
      "old_id": "06d1a924c49ef21ff12914988a640124a651ec45",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/MatchUtil.lean",
      "new_id": "a4e8b5ffa0fb2b352571a5af5256c1d997db11d8",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/MatchUtil.lean"
    },
    {
      "type": "modify",
      "old_id": "e7199d59f701a44e55b1e02b7c64194a2d7bbc8e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.lean",
      "new_id": "bbf5c033333207cac79f6fd875767708ce521469",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.lean"
    },
    {
      "type": "modify",
      "old_id": "87a52a1c20a44d113d2addc2e94fc38679dae437",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Main.lean",
      "new_id": "7732ee5447fc066a6e63fcf202f270b955b8e328",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "8a59cd3cc1497efb8ea6fcac4292dac26ff680d5",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean",
      "new_id": "b97264f6a2e05d217e4382bfb9d3dd5433fb886b",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean"
    },
    {
      "type": "modify",
      "old_id": "662c3a537feee68559c1ccd4064ecd8ab9f73ca9",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/SimpAll.lean",
      "new_id": "a5ba1fc44f4df078590615693ac6095f7c08921d",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/SimpAll.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "13186738fbae0f665e73d55fe6ee8fed8f22b81b",
      "new_mode": 33188,
      "new_path": "tests/lean/run/2862.lean"
    }
  ]
}