diff --git a/semantic-analysis/src/Analysis/Concrete.hs b/semantic-analysis/src/Analysis/Concrete.hs
index 3e15e022e..3d6c0ce75 100644
--- a/semantic-analysis/src/Analysis/Concrete.hs
+++ b/semantic-analysis/src/Analysis/Concrete.hs
@@ -65,10 +65,6 @@ deriving instance ( forall a . Eq   a => Eq   (f a)
 deriving instance ( forall a . Show a => Show (f a))          => Show (Concrete f)
 
 
--- recordFrame :: Concrete term -> Maybe Env
--- recordFrame (Record frame) = Just frame
--- recordFrame _              = Nothing
-
 type Heap = IntMap.IntMap