diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-04-23 09:37:02 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-23 09:37:02 +0100 |
commit | 6f9d16bb67f32463d98771f3f155297c4ea4b3b7 (patch) | |
tree | 1d04c6794b53981a340af2d3b72971d8c9a02d8e /.ocamlformat | |
parent | 1dce00e3afe9398a84239cc5f5d44c68b0b5c474 (diff) | |
download | vericert-6f9d16bb67f32463d98771f3f155297c4ea4b3b7.tar.gz vericert-6f9d16bb67f32463d98771f3f155297c4ea4b3b7.zip |
Fix translation passes with new semantics
Diffstat (limited to '.ocamlformat')
0 files changed, 0 insertions, 0 deletions