)]}'
{
  "commit": "be5db4c3ecb5c0ae172cfc0a834e386b947801d5",
  "tree": "4680b8ef35f82768d463d4df9d0ead996bca0ce3",
  "parents": [
    "4600bb16fcded0356d20ae232e7f8580c56a5955"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Nov 19 12:04:13 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Nov 19 12:04:13 2024 -0800"
  },
  "message": "fix: `isDefEq` when `zetaDelta :\u003d false`\n\nThis PR fixes a bug at `isDefEq` when `zetaDelta :\u003d false`.\nSee new test for a small example that exposes the issue.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d4100c6bb38d17308c409a9aec5ae25b04c5295a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/ExprDefEq.lean",
      "new_id": "caf43673ddafe26c0bca4871c20cdc61db791c1d",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/ExprDefEq.lean"
    },
    {
      "type": "modify",
      "old_id": "59eb6bddbdce924ccd38df7025dfe466c6e79e18",
      "old_mode": 33188,
      "old_path": "tests/lean/run/heapSort.lean",
      "new_id": "ddb8a636e02fd9cdfc1f1120b90435440c77a7a5",
      "new_mode": 33188,
      "new_path": "tests/lean/run/heapSort.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d553ec4ffddb691a59da6c8f7fe31dad079a0069",
      "new_mode": 33188,
      "new_path": "tests/lean/run/zetaDeltaFalseDefEqIssue.lean"
    }
  ]
}