diff options
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. *) |