diff --git a/src/Analysis/Abstract/Dead.hs b/src/Analysis/Abstract/Dead.hs
index 95b0c7722..68bfddcea 100644
--- a/src/Analysis/Abstract/Dead.hs
+++ b/src/Analysis/Abstract/Dead.hs
@@ -27,6 +27,7 @@ type DeadCodeEvaluating t v
      ]
 
 
+-- | Run a dead code analysis of the given program.
 evaluateDead :: forall term value
              .  ( AbstractValue value
                 , Corecursive term