diff options
Diffstat (limited to 'crates/mozart-sat-resolver/src/problem.rs')
| -rw-r--r-- | crates/mozart-sat-resolver/src/problem.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/mozart-sat-resolver/src/problem.rs b/crates/mozart-sat-resolver/src/problem.rs index 7ba60bc..c453fa9 100644 --- a/crates/mozart-sat-resolver/src/problem.rs +++ b/crates/mozart-sat-resolver/src/problem.rs @@ -415,6 +415,7 @@ mod tests { provides: vec![], conflicts: vec![], is_fixed: false, + is_alias_of: None, } } |