diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-11-28 17:25:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-28 17:25:47 +0100 |
| commit | 9a96a6dd8289b612f5b50c9403ffdbb34fe95d48 (patch) | |
| tree | e7eb0b9bff5454a26b81f8075932bad0bb12a12c /src | |
| parent | 069f219d4052bb8716aa3994f8c2a0f2c90c2c03 (diff) | |
| parent | 77071f7e3ac76ae6734aa3ce7cfc964b3da4939f (diff) | |
Rollup merge of #104933 - RalfJung:interpret-partial-ord, r=oli-obk
interpret: remove PartialOrd from a bunch of types that do not have or need a sensible order r? `@oli-obk`
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/concurrency/data_race.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/concurrency/data_race.rs b/src/tools/miri/src/concurrency/data_race.rs index d669cc1362a..cfbeb347cab 100644 --- a/src/tools/miri/src/concurrency/data_race.rs +++ b/src/tools/miri/src/concurrency/data_race.rs @@ -158,7 +158,7 @@ impl ThreadClockSet { /// Error returned by finding a data race /// should be elaborated upon. -#[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Debug)] +#[derive(Copy, Clone, PartialEq, Eq, Hash, Debug)] pub struct DataRace; /// Externally stored memory cell clocks |