From 09ed71177cc8a74c9edd0538d7d9190572bceaa9 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Thu, 21 Dec 2017 09:48:22 -0500
Subject: [PATCH] :memo: AbstractValue.

---
 src/Data/Abstract/Value.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Data/Abstract/Value.hs b/src/Data/Abstract/Value.hs
index b1d67a3f5..0c437e1f2 100644
--- a/src/Data/Abstract/Value.hs
+++ b/src/Data/Abstract/Value.hs
@@ -81,6 +81,7 @@ class ValueRoots l v | v -> l where
   -- | Compute the set of addresses rooted by a given value.
   valueRoots :: v -> Live l v
 
+-- | An interface for constructing abstract values.
 class AbstractValue v where
   unit :: v
   integer :: Prelude.Integer -> v