)]}'
{
  "commit": "c00a1afccf421d2ecd2c64925a22420b4ce4d298",
  "tree": "6f1e45ef13fd076a38e2a688019ad5e6b273d72e",
  "parents": [
    "473486eeb9bca08d8557a3cd470c2512557c98ca"
  ],
  "author": {
    "name": "Gabriel Ebner",
    "email": "gebner@gebner.org",
    "time": "Tue Feb 28 11:15:57 2023 -0800"
  },
  "committer": {
    "name": "Gabriel Ebner",
    "email": "gebner@gebner.org",
    "time": "Tue Feb 28 11:15:57 2023 -0800"
  },
  "message": "fix: reject occurrences of inductive type in index\n\nFixes #2125\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1ce41d7d2664db3485007900532cf71c92c6d461",
      "old_mode": 33188,
      "old_path": "src/kernel/inductive.cpp",
      "new_id": "de61345659a567b8414f76579146392b99678d1e",
      "new_mode": 33188,
      "new_path": "src/kernel/inductive.cpp"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d8eb0d6e71bddc7843b734c3a249f5897b18a3ba",
      "new_mode": 33188,
      "new_path": "tests/lean/2125.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "8b6d47e073dd0c99c3e9d69833ca19362d508afc",
      "new_mode": 33188,
      "new_path": "tests/lean/2125.lean.expected.out"
    }
  ]
}