diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-10-18 17:12:10 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-10-18 17:12:10 -0400 |
| commit | 87673dff4d3d8464af987952a4bbcc16158ce9f2 (patch) | |
| tree | bbbf9ea8c4f8ff1b2537304e33902cc69cb603c8 /src/Util/Option.v | |
| parent | 1a0bd0a5fbd5c44befebb67d7d034f5e7bb7dee5 (diff) | |
Fix for Coq 8.4 evar propogation
Diffstat (limited to 'src/Util/Option.v')
0 files changed, 0 insertions, 0 deletions