diff options
author | 2019-02-15 13:18:37 -0500 | |
---|---|---|
committer | 2019-02-15 13:18:37 -0500 | |
commit | a7bc3fde287c451d2b0e77602cd9fab560d62a43 (patch) | |
tree | 4d0a795c1445cb7a283c5f3c70de155348803407 /src/LanguageInversion.v | |
parent | 5ada7bb4874a2ddcc75ba72bbbfbc5f2c3864645 (diff) |
fix cast admits in Fancy
Diffstat (limited to 'src/LanguageInversion.v')
0 files changed, 0 insertions, 0 deletions