1
0
mirror of synced 2025-01-11 00:05:48 +00:00

add missing ward (#112)

This commit is contained in:
Al Liu 2023-04-03 17:17:14 +08:00 committed by GitHub
parent 901ebf4152
commit d07da7ba5a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -27,6 +27,7 @@ pub trait SimulationWard<N> {
pub enum Ward {
MaxView(ttf::MaxViewWard),
MinMaxView(minmax::MinMaxViewWard),
StalledView(stalled::StalledViewWard),
}
impl Ward {
@ -36,6 +37,7 @@ impl Ward {
match self {
Ward::MaxView(ward) => ward,
Ward::MinMaxView(ward) => ward,
Ward::StalledView(ward) => ward,
}
}
}