Fix : Limit scope of hygiene false option in MagmaLaw.lean (#340)

teorth · Oct 5, 2024 · 6a6d708 · 6a6d708
1 parent f4ec9f2
commit 6a6d708
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/equational_theories/MagmaLaw.lean b/equational_theories/MagmaLaw.lean
@@ -1,8 +1,6 @@
 import equational_theories.FreeMagma
 import Mathlib.Data.Set.Defs
 
-set_option hygiene false
-
 open FreeMagma
 
 namespace Law