diff options
| author | Pierre-Marie Pédrot | 2019-07-11 11:15:09 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-07-18 17:01:33 +0200 |
| commit | 8dbdc3aab8e1f905522ec317fcdad5df82c93087 (patch) | |
| tree | ba35718041c999dc71215949321d9c0ecc36a21d /vernac/comProgramFixpoint.ml | |
| parent | c13a3b61c9b1a714c50bcf0ec371a4effe1ff627 (diff) | |
Remove dead code in Lib.
The polymorphic flag is now carried by the section rather than individual
variables, no need to pass it along.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions