Fix duplicate NotationDirective class definition

mmcky · mmcky · commit bcfd51b38804 · 2025-10-20T13:06:08.000+11:00
Removed duplicate NotationDirective class that was causing issues.
Only one NotationDirective definition is needed.
diff --git a/sphinx_proof/proof_type.py b/sphinx_proof/proof_type.py
@@ -101,12 +101,6 @@ class NotationDirective(ElementDirective):
     name = "notation"
 
 
-class NotationDirective(ElementDirective):
-    """A custom notation directive."""
-
-    name = "notation"
-
-
 PROOF_TYPES = {
     "axiom": AxiomDirective,
     "theorem": TheoremDirective,
