diff --git a/src/problem/section_kind.rs b/src/problem/section_kind.rs index 7471722..0294654 100644 --- a/src/problem/section_kind.rs +++ b/src/problem/section_kind.rs @@ -1,3 +1,4 @@ +// TODO: remove if possible #[derive(Clone, Copy, Eq, Ord, PartialEq, PartialOrd)] pub enum SectionKind {