diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-17 15:41:01 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-17 15:41:01 -0400 |
| commit | 697505eea7a0a41086ad4775ccb7b244503940b6 (patch) | |
| tree | 5cb64f786c4d844737c3fc93d685a5d0931164d2 /src/Util/FixCoqMistakes.v | |
| parent | 087c6ec0b0584b2da9de6537a3e97b2411745db4 (diff) | |
Fix some type annotations for better non-unfolding
Diffstat (limited to 'src/Util/FixCoqMistakes.v')
0 files changed, 0 insertions, 0 deletions