haddock tweak

robdockins · robdockins · commit d70e1f73aaed · 2022-01-21T10:57:50.000-08:00
diff --git a/what4/src/What4/Expr.hs b/what4/src/What4/Expr.hs
@@ -110,6 +110,6 @@ import What4.Expr.UnaryBV
 
 
 -- | A \"dummy\" data type that can be used for the
---   user state field of an @ExprBuilder@ when there
+--   user state field of an 'ExprBuilder' when there
 --   is no other interesting state to track.
 data EmptyExprBuilderState t = EmptyExprBuilderState
