diff --git a/src/Analysis/Abstract/Tracing.hs b/src/Analysis/Abstract/Tracing.hs
index 7003891fd..631a62c09 100644
--- a/src/Analysis/Abstract/Tracing.hs
+++ b/src/Analysis/Abstract/Tracing.hs
@@ -33,6 +33,8 @@ type TracingInterpreter t v g
 
 -- | The effects necessary for a linear trace analysis.
 type TraceInterpreter t v = TracingInterpreter t v []
+
+-- | The effects necessary for a reachable state analysis.
 type ReachableStateInterpreter t v = TracingInterpreter t v Set