diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-10-17 20:52:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-10-17 20:52:20 -0700 |
| commit | abc54a2d207f45e2b556eea0bcb26ca8798a33c3 (patch) | |
| tree | 9dd6bdd8b7aa7cd4224849320af59e252b6d98c2 /src/proof/cec | |
| parent | f0236d5ac1b6d127354b5dd67aba79735bfceaa2 (diff) | |
| download | abc54a2d207f45e2b556eea0bcb26ca8798a33c3.tar.gz abc54a2d207f45e2b556eea0bcb26ca8798a33c3.tar.bz2 abc54a2d207f45e2b556eea0bcb26ca8798a33c3.zip | |
Changing static to extern for two procedures.
Diffstat (limited to 'src/proof/cec')
0 files changed, 0 insertions, 0 deletions