diff options
| author | Chris Denton <chris@chrisdenton.dev> | 2024-07-14 06:59:05 +0000 |
|---|---|---|
| committer | Chris Denton <chris@chrisdenton.dev> | 2024-07-15 05:01:20 +0000 |
| commit | 5b700a76cf1c1d815f0082f7ea12c5f8c5a45114 (patch) | |
| tree | 0781db158727b99f2aa3a767c41dcb22424236d3 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | f2cc94361c70ca792a783ad858e2a2b68aedb4a5 (diff) | |
| download | rust-5b700a76cf1c1d815f0082f7ea12c5f8c5a45114.tar.gz rust-5b700a76cf1c1d815f0082f7ea12c5f8c5a45114.zip | |
Remove CHAR
As with USHORT, keep using C types for BSD socket APIs.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions