use haddock quotes

LeventErkok · Sep 10, 2024 · a6ccb42 · a6ccb42
1 parent 2469b57
commit a6ccb42
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Data/SBV/Core/Symbolic.hs b/Data/SBV/Core/Symbolic.hs
@@ -1692,7 +1692,7 @@ instance MonadReader r m => MonadReader r (SymbolicT m) where
   ask = lift ask
   local f = mapSymbolicT $ mapReaderT $ local f
 
--- | `Symbolic` is specialization of `SymbolicT` to the `IO` monad. Unless you are using
+-- | 'Symbolic' is specialization of 'SymbolicT' to the `IO` monad. Unless you are using
 -- transformers explicitly, this is the type you should prefer.
 type Symbolic = SymbolicT IO