github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity

Fix clippy.

Browse Source
This commit is contained in:
chriseth
2023-05-02 21:49:39 +02:00
parent 2cdae21bd9
commit d760a0a2de
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
executor/src/witgen/eval_result.rs
View File

@@ -84,7 +84,7 @@ impl EvalStatus {
}
}
#[derive(Debug, Clone, PartialEq)]
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct EvalValue {
pub constraints: Constraints,
pub status: EvalStatus,