diff options
| author | Pierre-Marie Pédrot | 2019-06-28 14:02:49 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-06-28 14:02:49 +0200 |
| commit | 6d6b2d7132bc768783bad6738d778519c28c8f08 (patch) | |
| tree | 96d1c5fa72c40f481a4cd80e7231cacc7cb5b9ec /vernac/comProgramFixpoint.ml | |
| parent | a2751a19e9c5c0fd91031f9a62948ad29efea038 (diff) | |
| parent | 5a532f2e00d0e3dca8d7079f067c79f2bb1b6b14 (diff) | |
Merge PR #10438: Kernel transparent definition entries have no body universes.
Reviewed-by: gares
Reviewed-by: ppedrot
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions