diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-01-12 12:56:07 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-01-12 12:56:07 +0100 |
| commit | 4b8cd99705596052b7b45f29c248c9d02875ccdc (patch) | |
| tree | 45d4145f03723025eb75781525fedd478d32e5a1 /lib/future.mli | |
| parent | bd3acff29dbdbf329d9ef6a92289e504ef688803 (diff) | |
Fixing name of evars in output test Notation.v.
Diffstat (limited to 'lib/future.mli')
0 files changed, 0 insertions, 0 deletions