Remove unnecessary comment

GaloisInc · Aug 7, 2020 · ec14bd3 · ec14bd3
1 parent 06b13b8
commit ec14bd3
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/crucible-llvm/src/Lang/Crucible/LLVM/ArraySizeProfile.hs b/crucible-llvm/src/Lang/Crucible/LLVM/ArraySizeProfile.hs
@@ -104,14 +104,6 @@ ptrAllocSize mem (C.llvmPointerView -> (blk, _)) = msum $ inAlloc <$> G.memAlloc
           , Just a == W4.asNat blk =
             fromIntegral <$> BV.asUnsigned <$> W4.asBV sz
           | otherwise = Nothing
--- ptrAllocSize mem (C.llvmPointerView -> (blk, _)) = msum $ inAlloc <$> G.memAllocs mem
---   where
---     inAlloc :: G.MemAlloc sym -> Maybe Int
---     inAlloc memAlloc
---       | G.Alloc _ a (Just sz) _ _ _ <- memAlloc
---       , Just a == W4.asNat blk =
---         fromIntegral <$> W4.asUnsignedBV sz
---       | otherwise = Nothing
 
 ptrArraySize ::
   C.IsSymInterface sym =>