Yet another Haddock fix.

kosmikus · Nov 13, 2023 · 4887d56 · 4887d56
1 parent 5e6ada5
commit 4887d56
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/MathCommon.lhs b/src/MathCommon.lhs
@@ -172,7 +172,7 @@ that would remove the parentheses in @deriving (Eq)@ and @module M (a)@
 as well.
 
 >   args                        :: (CToken tok) => [Atom (Pos tok)] -> [Pos tok]
->   args es                     =  concat [ sp ++ snd (eval'' False i []) | i <- es ] -- $\cong$ Applikation
+>   args es                     =  concat [ sp ++ snd (eval'' False i []) | i <- es ]
 >   sp                          :: (CToken tok) => [Pos tok]
 >   sp | auto                   =  [fromToken (TeX False sub'space)]
 >      | otherwise              =  []