From e852fef39b3fe4459b004c47216bb4d97799b7c1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ignas=20Vy=C5=A1niauskas?= Date: Wed, 23 Oct 2024 09:46:37 +0300 Subject: [PATCH] Use correct (structural) type of equality Co-authored-by: Johannes Emerich --- controller/server/view/status_page.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/controller/server/view/status_page.ml b/controller/server/view/status_page.ml index 6ac12ac2..d66b7b30 100644 --- a/controller/server/view/status_page.ml +++ b/controller/server/view/status_page.ml @@ -99,7 +99,7 @@ let suggested_action_of_state (update:Update.state) (rauc:rauc_state) booted_slo Some (Definition.description ( switch_to_newer_system_call target_slot )) - | (UpToDate {booted; inactive}, Status _) when booted != inactive -> + | (UpToDate {booted; inactive}, Status _) when booted <> inactive -> Some (Definition.description ( switch_to_older_system_call target_slot ))