diff options
| author | Eric Mark Martin <ericmarkmartin@gmail.com> | 2023-06-22 01:52:31 -0400 |
|---|---|---|
| committer | Eric Mark Martin <ericmarkmartin@gmail.com> | 2023-06-28 01:51:53 -0400 |
| commit | fbd1e0252fc68368379f5a85ca43d8bfd8939ca9 (patch) | |
| tree | f56f7137e344b8e3c2936db2aa32116a0f4ed8c0 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 6b46c996e1d3a07dd73beb2873d74a8a0458d05f (diff) | |
| download | rust-fbd1e0252fc68368379f5a85ca43d8bfd8939ca9.tar.gz rust-fbd1e0252fc68368379f5a85ca43d8bfd8939ca9.zip | |
add note for non-exhaustive matches with guards
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions