diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-11 13:31:58 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-11 13:32:42 +0100 |
| commit | cc720721075b61a82bc46f43e18b4da6ebbdc8a8 (patch) | |
| tree | b50c4d7e2ae57d98769d128302f4e085cadecfb8 /pretyping | |
| parent | 9105a72e3d39e482c9e078de9f71efafc6cc3d0f (diff) | |
Adapting output tests to current naming of evars, even if unclear
where it will eventually stabilize.
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions