From d892ae294cb2cec3fcf9445555f884420e90c346 Mon Sep 17 00:00:00 2001
From: varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 4 Apr 2012 11:59:35 +0000
Subject: Cleaning up checklink

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1865 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 checklink/Frameworks.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'checklink/Frameworks.ml')

diff --git a/checklink/Frameworks.ml b/checklink/Frameworks.ml
index b6d4d4b..e8f75ba 100644
--- a/checklink/Frameworks.ml
+++ b/checklink/Frameworks.ml
@@ -33,10 +33,6 @@ type byte_chunk_desc =
 type e_framework = {
   elf: elf;
   log: log_entry list;
-  (*
-  chkd_syms: SymCoverage.t;
-  chkd_bytes_diet: ELFCoverage.t;
-  *)
   (** Every time a chunk of the ELF file is checked, it is added to this list.
       The first two fields are the start and stop offsets, the third is an
       alignment constraint, the last is a description. *)
-- 
cgit v1.2.3