Reduce unnecessary deriving instances

georgerennie · georgerennie · commit 904d1ef8b36a · 2026-02-02T16:58:04.000Z
diff --git a/Valaig/Aiger/Parser.lean b/Valaig/Aiger/Parser.lean
@@ -27,7 +27,7 @@ inductive SymbolType where
 | constraint
 | justice
 | fairness
-deriving Repr, Inhabited, DecidableEq, BEq, Hashable
+deriving Repr, Inhabited, DecidableEq, BEq, ReflBEq, LawfulBEq, Hashable
 
 abbrev HeaderT := ReaderT Header
 
