diff options
| author | Esteban Küber <esteban@kuber.com.ar> | 2025-01-07 22:33:27 +0000 |
|---|---|---|
| committer | Esteban Küber <esteban@kuber.com.ar> | 2025-01-11 01:23:37 +0000 |
| commit | 857918e9bcb22476d7d4477ca335b7c44d315d37 (patch) | |
| tree | 290ee34cdc16182c0c2b5885bb5928a9dc507711 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 919f672c3dabfe33c641a29bbe51011936a82896 (diff) | |
| download | rust-857918e9bcb22476d7d4477ca335b7c44d315d37.tar.gz rust-857918e9bcb22476d7d4477ca335b7c44d315d37.zip | |
review comments
Replace tuple with struct and remove unnecessary early return.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions