diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-05-31 02:06:44 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-05-31 02:06:44 +0100 |
| commit | 7464314d55ee6401f93472e985e5836393a89b46 (patch) | |
| tree | cb4944396b76a599575b9c0fb7617d645d9a0a7d /vericert.opam | |
| parent | 5c8b41b60e8f943632d666c6566c83a9ea74c8a4 (diff) | |
| download | vericert-7464314d55ee6401f93472e985e5836393a89b46.tar.gz vericert-7464314d55ee6401f93472e985e5836393a89b46.zip | |
Place both case statements into the same always block
Diffstat (limited to 'vericert.opam')
0 files changed, 0 insertions, 0 deletions