diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-06-12 12:05:13 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-12 12:05:13 +0100 |
commit | 3e1add3e13c85b30afa0a32c036dc26f7ab2fafa (patch) | |
tree | 322bb6f37e47e4536cf743b18be98d2b3030ff04 | |
parent | 1ae7c94199862f48eaf37f2f66f130bde215b9e0 (diff) | |
download | vericert-3e1add3e13c85b30afa0a32c036dc26f7ab2fafa.tar.gz vericert-3e1add3e13c85b30afa0a32c036dc26f7ab2fafa.zip |
Update compcert to always inline functions
m--------- | lib/CompCert | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/CompCert b/lib/CompCert -Subproject 8f8250d076c9bcb15954c978dd1c351dd948326 +Subproject dd750a10840889f73759971a531208278188651 |