fix accidental replacement

fmidue · Jan 31, 2025 · af0c5a3 · af0c5a3
1 parent e57f1cd
commit af0c5a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Formula/Types.hs b/src/Formula/Types.hs
@@ -98,7 +98,7 @@ instance Ord Literal where
    compare l1 l2 = compare (letter l1) (letter l2)
 
 
--- | '¬' deNeges a negative sign
+-- | '¬' denotes a negative sign
 instance Show Literal where
    show (Pos x) = [x]
    show (Neg x) = ['¬', x]