From 46085161201085120810a4ec45bd4328c2c61299 Mon Sep 17 00:00:00 2001 From: dbr Date: Wed, 22 Mar 2023 23:12:36 +1030 Subject: [PATCH] More clippy pedantry --- imgui-glow-renderer/src/versions.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/imgui-glow-renderer/src/versions.rs b/imgui-glow-renderer/src/versions.rs index 9b4bed5..f0daaf8 100644 --- a/imgui-glow-renderer/src/versions.rs +++ b/imgui-glow-renderer/src/versions.rs @@ -1,6 +1,6 @@ #![allow(clippy::must_use_candidate)] -#[derive(PartialEq, Clone, Copy)] +#[derive(PartialEq, Clone, Copy, Eq)] pub struct GlVersion { pub major: u16, pub minor: u16,