Add overlapping instances

anshwad10 · web-flow · commit da169b8f0e4e · 2025-01-13T21:28:52.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 #-}
+{-# OPTIONS --safe --lossy-unification --overlapping-instances #-}
 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 #-}`
	`1`	`+{-# OPTIONS --safe --lossy-unification --overlapping-instances #-}`
`2`	`2`	`module Cubical.Algebra.CommRing.Properties where`
`3`	`3`
`4`	`4`	`open import Cubical.Foundations.Prelude`