Remove the overlappable instance

anshwad10 · web-flow · commit ae50c10ce36c · 2025-01-13T21:35:25.000+05:30
diff --git a/Cubical/Algebra/CommRing/Properties.agda b/Cubical/Algebra/CommRing/Properties.agda
@@ -1,4 +1,4 @@
-{-# OPTIONS --safe --lossy-unification --overlapping-instances #-}
+{-# OPTIONS --safe --lossy-unification #-}
 module Cubical.Algebra.CommRing.Properties where
 
 open import Cubical.Foundations.Prelude

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-{-# OPTIONS --safe --lossy-unification --overlapping-instances #-}`
	`1`	`+{-# OPTIONS --safe --lossy-unification #-}`
`2`	`2`	`module Cubical.Algebra.CommRing.Properties where`
`3`	`3`
`4`	`4`	`open import Cubical.Foundations.Prelude`