diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2020-12-01 10:45:52 +0000 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2020-12-01 10:45:52 +0000 |
commit | 0cbfa55ea4b91d00134ec2c4f6b13d7814ecd9d6 (patch) | |
tree | 122efb0c6f2c5f706ac1bb960c1166f1287830b3 /driver | |
parent | a4ef559d855ea5582316f627acfe45edbe6c470e (diff) | |
download | vericert-0cbfa55ea4b91d00134ec2c4f6b13d7814ecd9d6.tar.gz vericert-0cbfa55ea4b91d00134ec2c4f6b13d7814ecd9d6.zip |
Get top-level proofs passing.
Needed change because inlining was removed.
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions