diff options
| author | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-07-07 15:32:13 +0100 |
|---|---|---|
| committer | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-07-07 15:32:13 +0100 |
| commit | b141f1e5b58aaabd091f30d2371e43712fbaef38 (patch) | |
| tree | 7b036cbf26832c25d12e4d60930756bbec666cf5 /src/common/Monad.v | |
| parent | c0be24c8e577d54c11f8cf06512a14a7583a9bb1 (diff) | |
| download | vericert-kvx-b141f1e5b58aaabd091f30d2371e43712fbaef38.tar.gz vericert-kvx-b141f1e5b58aaabd091f30d2371e43712fbaef38.zip | |
remove const prop
Diffstat (limited to 'src/common/Monad.v')
0 files changed, 0 insertions, 0 deletions