From dec035cee7c41930cb07b14fabb5cba365f0e8a6 Mon Sep 17 00:00:00 2001
From: FR-vdash-bot <zhao.yu-yang@foxmail.com>
Date: Sun, 29 Dec 2024 16:07:14 +0800
Subject: [PATCH] reduce diffs

---
 Mathlib/Algebra/Order/Nonneg/Field.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Mathlib/Algebra/Order/Nonneg/Field.lean b/Mathlib/Algebra/Order/Nonneg/Field.lean
index 49c06d2e70cdd..0513107a568ff 100644
--- a/Mathlib/Algebra/Order/Nonneg/Field.lean
+++ b/Mathlib/Algebra/Order/Nonneg/Field.lean
@@ -103,6 +103,6 @@ end LinearOrderedSemifield
 
 instance linearOrderedCommGroupWithZero [LinearOrderedField α] :
     LinearOrderedCommGroupWithZero { x : α // 0 ≤ x } :=
-  LinearOrderedSemifield.toLinearOrderedCommGroupWithZero
+  inferInstance
 
 end Nonneg