diff options
| author |  varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-04-04 11:59:35 +0000 |
|---|---|---|
| committer | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-04-04 11:59:35 +0000 |
| commit | d892ae294cb2cec3fcf9445555f884420e90c346 (patch) | |
| tree | 1619234a7f95f2fd874328c3238cfbbc314d0614 /checklink/Frameworks.ml | |
| parent | 9f841d3335cfb9c0bd6f560b9c429c3c527eabe3 (diff) | |
Cleaning up checklink
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1865 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'checklink/Frameworks.ml')
| -rw-r--r-- | checklink/Frameworks.ml | 4 |
1 files changed, 0 insertions, 4 deletions
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. *) |