diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-05-22 13:44:49 +0200 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-05-22 15:15:49 +0200 |
| commit | 7ffb02d2c5534a6c39ee1e5fd42060d559195e39 (patch) | |
| tree | 9b229ed641de2bbcc69764314a9a3e287e1bb350 /plugins/romega/ReflOmegaCore.v | |
| parent | a79481b86881be12900b9b16b2f384eb3c402215 (diff) | |
refl_omega: comment the lack of lifts when dealing with arrows
Diffstat (limited to 'plugins/romega/ReflOmegaCore.v')
0 files changed, 0 insertions, 0 deletions