)]}'
{
  "commit": "c811617e71a1fa980830af00dfc92e49b53f5dc8",
  "tree": "03ef05da8ed5c050519359041dfebb7530c93518",
  "parents": [
    "9b28c5879a77f9f0212a7f39ea83f56c71abda42"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Dec 30 07:56:17 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Dec 30 07:58:21 2024 -0800"
  },
  "message": "fix: internalize nested ground patterns when activating ematch theorems\n\nThis PR internalize nested ground patterns when activating ematch\ntheorems in the (WIP) `grind` tactic.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fb945ab507d475e4aa96a49a42bc3baaa9eee34b",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind.lean",
      "new_id": "91c6bf637869f497c105dc8cac15c228a15bdd40",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind.lean"
    },
    {
      "type": "modify",
      "old_id": "968293d2cd5f2fa28abc0df5cde4fcf6b33b7260",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/EMatchTheorem.lean",
      "new_id": "907883cb86c22034450d364fa1d77ff73aff36fc",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/EMatchTheorem.lean"
    },
    {
      "type": "modify",
      "old_id": "42a48cc7f364ced0bd3a54641c0ed541a32219fe",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Internalize.lean",
      "new_id": "99c35a8b92eea88a02a753f43320fc5bbd3bf4f5",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Internalize.lean"
    },
    {
      "type": "modify",
      "old_id": "4b091799de3f8cb6b782b122ba4154ebff61d1c6",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_pattern2.lean",
      "new_id": "f8e696a136eecb387e89cb37ac2699ade0eb9729",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_pattern2.lean"
    }
  ]
}