From 9f9b003697ac901008affd7008c428109d1afc5e Mon Sep 17 00:00:00 2001
From: varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 4 Apr 2012 11:59:38 +0000
Subject: Better fuzzing options

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

(limited to 'checklink/Frameworks.ml')

diff --git a/checklink/Frameworks.ml b/checklink/Frameworks.ml
index f63eb9a..fdd0769 100644
--- a/checklink/Frameworks.ml
+++ b/checklink/Frameworks.ml
@@ -103,12 +103,6 @@ let log = {
   get = (fun ef -> ef.log);
   set = (fun l ef -> { ef with log = l });
 }
-(*
-let chkd_syms = {
-  get = (fun ef -> ef.chkd_syms);
-  set = (fun s ef -> { ef with chkd_syms = s });
-}
-*)
 
 let ident_to_sym_ndx = {
   get = (fun sf -> sf.ident_to_sym_ndx);
@@ -128,7 +122,6 @@ let add_range (start: int32) (length: int32) (align: int) (bcd: byte_chunk_desc)
   let stop = Int32.(sub (add start length) 1l) in
   {
     efw with
-      (*chkd_bytes_diet = ELFCoverage.r_add start stop efw.chkd_bytes_diet;*)
       chkd_bytes_list =
       (* Float constants can appear several times in the code, we don't
          want to add them multiple times *)
-- 
cgit v1.2.3