Updated PR by removing whitespaces. Bug 17450.

8 files changed, 81 insertions, 81 deletions

diff --git a/debug/Debug.ml b/debug/Debug.ml
index 161ee3ed..21f8d9fd 100644
--- a/debug/Debug.ml
+++ b/debug/Debug.ml
@@ -20,7 +20,7 @@ open DwarfTypes
 (* Interface for generating and printing debug information *)
 
 (* Record used for stroring references to the actual implementation functions *)
-type implem = 
+type implem =
     {
      mutable init: string -> unit;
      mutable atom_function: ident -> atom -> unit;
diff --git a/debug/Debug.mli b/debug/Debug.mli
index 577b0ef8..aa702971 100644
--- a/debug/Debug.mli
+++ b/debug/Debug.mli
@@ -18,7 +18,7 @@ open BinNums
 
 
 (* Record used for stroring references to the actual implementation functions *)
-type implem = 
+type implem =
     {
      mutable init: string -> unit;
      mutable atom_function: ident -> atom -> unit;
diff --git a/debug/DebugInformation.ml b/debug/DebugInformation.ml
index d1747f8e..9c5a92ba 100644
--- a/debug/DebugInformation.ml
+++ b/debug/DebugInformation.ml
@@ -17,7 +17,7 @@ open Camlcoq
 open Cutil
 open DebugTypes
 
-(* This implements an interface for the collection of debugging 
+(* This implements an interface for the collection of debugging
    information. *)
 
 (* Simple id generator *)
@@ -61,7 +61,7 @@ let typ_to_string (ty: typ) =
 
 (* Helper functions for the attributes *)
 let strip_attributes typ =
-  let strip =  List.filter (fun a -> a = AConst || a = AVolatile) in 
+  let strip =  List.filter (fun a -> a = AConst || a = AVolatile) in
   match typ with
   | TVoid at -> TVoid (strip at)
   | TInt (k,at) ->  TInt (k,strip at)
@@ -74,11 +74,11 @@ let strip_attributes typ =
   | TUnion (n,at) -> TUnion(n,strip at)
   | TEnum (n,at) -> TEnum(n,strip at)
 
-let strip_last_attribute typ  = 
+let strip_last_attribute typ  =
   let rec hd_opt l = match l with
     [] -> None,[]
   | AConst::rest -> Some AConst,rest
-  | AVolatile::rest -> Some AVolatile,rest 
+  | AVolatile::rest -> Some AVolatile,rest
   | _::rest -> hd_opt rest in
   match typ with
   | TVoid at -> let l,r = hd_opt at in
@@ -117,20 +117,20 @@ let find_type (ty: typ) =
 (* Add type and information *)
 let insert_type (ty: typ) =
   let insert d_ty ty =
-    let id = next_id () 
+    let id = next_id ()
     and name = typ_to_string ty in
     Hashtbl.add types id d_ty;
     Hashtbl.add lookup_types name id;
     id in
   (* We are only interrested in Const and Volatile *)
   let ty = strip_attributes ty in
-  let rec typ_aux ty = 
+  let rec typ_aux ty =
     try find_type ty with
     | Not_found ->
         let d_ty =
           match ty with
           | TVoid _ -> Void
-          | TInt (k,_) -> 
+          | TInt (k,_) ->
               IntegerType ({int_kind = k })
           | TFloat (k,_) ->
               FloatType ({float_kind = k})
@@ -150,14 +150,14 @@ let insert_type (ty: typ) =
               } in
               ArrayType arr
           | TFun (t,param,va,_) ->
-              let param,prot = (match param with 
+              let param,prot = (match param with
               | None -> [],false
-              | Some p -> List.map (fun (i,t) -> let t = attr_aux t in 
+              | Some p -> List.map (fun (i,t) -> let t = attr_aux t in
                 {
                  param_type = t;
-                 param_name = i.name;               
+                 param_name = i.name;
                }) p,true) in
-              let ret = (match t with 
+              let ret = (match t with
               | TVoid _ -> None
               | _ -> Some (attr_aux t)) in
               let ftype = {
@@ -201,7 +201,7 @@ let insert_type (ty: typ) =
                } in
               CompositeType union
           | TEnum (id,_) ->
-              let enum = 
+              let enum =
                 {
                  enum_name = id.name;
                  enum_byte_size = None;
@@ -210,13 +210,13 @@ let insert_type (ty: typ) =
                } in
               EnumType enum in
         insert d_ty ty
-  and attr_aux ty = 
+  and attr_aux ty =
     try
       find_type ty
     with
       Not_found ->
         match strip_last_attribute ty with
-        | Some AConst,t -> 
+        | Some AConst,t ->
             let id = attr_aux t in
             let const = { cst_type = id} in
             insert (ConstType const) ty
@@ -333,7 +333,7 @@ let replace_scope id var =
   let var = Scope var in
   Hashtbl.replace local_variables id var
 
-let gen_comp_typ sou id at = 
+let gen_comp_typ sou id at =
   if sou = Struct then
     TStruct (id,at)
   else
@@ -377,11 +377,11 @@ let insert_global_declaration env dec=
         end
       end else begin
         (* Implict declarations need special handling *)
-        let id' = try Hashtbl.find name_to_definition id.name with Not_found -> 
+        let id' = try Hashtbl.find name_to_definition id.name with Not_found ->
           let id' = next_id () in
           Hashtbl.add name_to_definition id.name id';id' in
         Hashtbl.add stamp_to_definition id.stamp id'
-      end       
+      end
   | Gfundef f ->
       let ret =  (match f.fd_ret with
       | TVoid _ -> None
@@ -398,7 +398,7 @@ let insert_global_declaration env dec=
          parameter_type = ty;
        }) f.fd_params in
       let fd =
-      { 
+      {
         fun_name = f.fd_name.name;
         fun_atom = None;
         fun_file_loc = dec.gloc;
@@ -411,19 +411,19 @@ let insert_global_declaration env dec=
         fun_scope = None;
       } in
       begin
-        let id' = try Hashtbl.find name_to_definition f.fd_name.name with Not_found -> 
+        let id' = try Hashtbl.find name_to_definition f.fd_name.name with Not_found ->
           let id' = next_id () in
           Hashtbl.add name_to_definition f.fd_name.name id';id' in
         Hashtbl.add stamp_to_definition f.fd_name.stamp id';
         Hashtbl.add definitions id' (Function fd)
       end
-  | Gcompositedecl (sou,id,at) -> 
+  | Gcompositedecl (sou,id,at) ->
       ignore (insert_type (gen_comp_typ sou id at));
       let id = find_type (gen_comp_typ sou id []) in
       replace_composite id (fun comp -> if comp.ct_file_loc = None then
         {comp with ct_file_loc = Some (dec.gloc);}
       else comp)
-  | Gcompositedef (sou,id,at,fi) -> 
+  | Gcompositedef (sou,id,at,fi) ->
       ignore (insert_type (gen_comp_typ sou id at));
       let id = find_type (gen_comp_typ sou id []) in
       let fi = List.filter (fun f -> f.fld_name <> "") fi in (* Fields without names need no info *)
@@ -440,15 +440,15 @@ let insert_global_declaration env dec=
       replace_composite id (fun comp ->
         let loc = if comp.ct_file_loc = None then Some dec.gloc else comp.ct_file_loc in
         {comp with ct_file_loc = loc; ct_members = fields; ct_declaration = false;})
-  | Gtypedef (id,t) -> 
+  | Gtypedef (id,t) ->
       let id = insert_type (TNamed (id,[])) in
       let tid = insert_type t in
       replace_typedef id (fun typ -> {typ with typedef_file_loc = Some dec.gloc; typ = Some tid;});
-  | Genumdef (n,at,e) -> 
+  | Genumdef (n,at,e) ->
       ignore(insert_type (TEnum (n,at)));
       let id = find_type (TEnum (n,[])) in
       let enumerator = List.map (fun (i,c,_) ->
-        {    
+        {
              enumerator_name = i.name;
              enumerator_const = c;
        }) e in
@@ -459,36 +459,36 @@ let insert_global_declaration env dec=
 let set_member_offset str field offset =
   let id = find_type (TStruct (str,[])) in
   replace_composite id (fun comp ->
-    let name f = f.cfd_name = field || match f.cfd_bitfield with Some n -> n = field | _ -> false in 
+    let name f = f.cfd_name = field || match f.cfd_bitfield with Some n -> n = field | _ -> false in
     let members = list_replace name (fun a -> {a with cfd_byte_offset = Some offset;}) comp.ct_members in
     {comp with ct_members = members;})
 
 let set_composite_size comp sou size =
   let id = find_type (gen_comp_typ sou comp []) in
-  replace_composite id (fun comp -> {comp with ct_sizeof = size;}) 
+  replace_composite id (fun comp -> {comp with ct_sizeof = size;})
 
 let set_bitfield_offset str field offset underlying size =
   let id = find_type (TStruct (str,[])) in
   replace_composite id (fun comp ->
     let name f = f.cfd_name = field in
-    let members = list_replace name (fun a -> 
+    let members = list_replace name (fun a ->
       {a with cfd_bit_offset = Some offset; cfd_bitfield = Some underlying; cfd_byte_size = Some size})
         comp.ct_members in
     {comp with ct_members = members;})
 
-let atom_global_variable id atom = 
+let atom_global_variable id atom =
   try
     let id,var = find_gvar_stamp id.stamp in
     replace_var id ({var with gvar_atom = Some atom;});
-    Hashtbl.add atom_to_definition atom id 
+    Hashtbl.add atom_to_definition atom id
   with Not_found -> ()
-    
+
 let atom_function id atom =
   try
     let id',f = find_fun_stamp id.stamp in
     replace_fun id' ({f with fun_atom = Some atom;});
     Hashtbl.add atom_to_definition atom id';
-    Hashtbl.iter (fun (fid,sid) tid -> if fid = id.stamp then 
+    Hashtbl.iter (fun (fid,sid) tid -> if fid = id.stamp then
       Hashtbl.add atom_to_scope (atom,sid) tid) scope_to_local
   with Not_found -> ()
 
@@ -499,7 +499,7 @@ let atom_parameter fid id atom =
     let params = list_replace name (fun p -> {p with parameter_atom = Some atom;}) f.fun_parameter in
     replace_fun fid' ({f with fun_parameter = params;})
   with Not_found -> ()
-    
+
 let add_fun_addr atom (high,low) =
   try
     let id,f = find_fun_atom atom in
@@ -516,7 +516,7 @@ let atom_local_variable id atom =
 let add_lvar_scope f_id var_id s_id =
   try
     let s_id',scope = find_scope_id f_id s_id in
-    let var_id,_ = find_lvar_stamp var_id.stamp in 
+    let var_id,_ = find_lvar_stamp var_id.stamp in
     replace_scope s_id' ({scope_variables = var_id::scope.scope_variables;})
   with Not_found -> ()
 
@@ -604,7 +604,7 @@ let close_scope atom s_id lbl =
   try
     let s_id = Hashtbl.find atom_to_scope (atom,s_id) in
     let old_r = try Hashtbl.find scope_ranges s_id with Not_found -> [] in
-    let last_r,rest = 
+    let last_r,rest =
       begin
         match old_r with
         | a::rest -> a,rest
diff --git a/debug/DebugInit.ml b/debug/DebugInit.ml
index 7ee56ff1..1ab529df 100644
--- a/debug/DebugInit.ml
+++ b/debug/DebugInit.ml
@@ -27,7 +27,7 @@ let init_debug () =
   implem.set_bitfield_offset <- DebugInformation.set_bitfield_offset;
   implem.insert_global_declaration <- DebugInformation.insert_global_declaration;
   implem.add_fun_addr <- DebugInformation.add_fun_addr;
-  implem.generate_debug_info <- 
+  implem.generate_debug_info <-
     if Configuration.system = "diab" then
       (fun a b -> Some (Dwarfgen.gen_diab_debug_info a b))
     else
diff --git a/debug/DebugTypes.mli b/debug/DebugTypes.mli
index 6a4f619c..b2f19f7a 100644
--- a/debug/DebugTypes.mli
+++ b/debug/DebugTypes.mli
@@ -68,7 +68,7 @@ type enum_type = {
     enum_name:        string;
     enum_byte_size:   int option;
     enum_file_loc:    location option;
-    enum_enumerators: enumerator list; 
+    enum_enumerators: enumerator list;
   }
 
 type int_type = {
@@ -115,7 +115,7 @@ type global_variable_information = {
     gvar_type:        int;
   }
 
-type parameter_information = 
+type parameter_information =
  {
   parameter_name:     string;
   parameter_ident:    int;
@@ -150,7 +150,7 @@ type local_variable_information = {
     lvar_static:  bool;  (* Static variable are mapped to symbols *)
   }
 
-type scope_information = 
+type scope_information =
   {
    scope_variables: int list; (* Variable and Scope ids *)
  }
diff --git a/debug/DwarfPrinter.ml b/debug/DwarfPrinter.ml
index 1bd54470..8740d9c4 100644
--- a/debug/DwarfPrinter.ml
+++ b/debug/DwarfPrinter.ml
@@ -319,7 +319,7 @@ module DwarfPrinter(Target: DWARF_TARGET):
           print_uleb128 oc col
       | Some (Gnu_file_loc (file,col)) ->
           fprintf oc "	.4byte		%l\n" file;
-          print_uleb128 oc col 
+          print_uleb128 oc col
      | None -> ()
 
     let print_loc_expr oc = function
@@ -407,12 +407,12 @@ module DwarfPrinter(Target: DWARF_TARGET):
       print_string oc bt.base_type_name
 
     let print_compilation_unit oc tag =
-      let version_string =  
+      let version_string =
         if Version.buildnr <> "" && Version.tag <> "" then
           sprintf "%s, Build: %s, Tag: %s" Version.version Version.buildnr Version.tag
         else
           Version.version in
-      let prod_name = sprintf "AbsInt Angewandte Informatik GmbH:CompCert Version %s:(%s,%s,%s,%s)" 
+      let prod_name = sprintf "AbsInt Angewandte Informatik GmbH:CompCert Version %s:(%s,%s,%s,%s)"
           version_string Configuration.arch Configuration.system Configuration.abi Configuration.model in
       print_string oc (Sys.getcwd ());
       print_addr oc tag.compile_unit_low_pc;
@@ -476,7 +476,7 @@ module DwarfPrinter(Target: DWARF_TARGET):
     let print_subprogram_addr oc (s,e) =
       fprintf oc "	.4byte		%a\n" label e;
       fprintf oc "	.4byte		%a\n" label s
-     
+
     let print_subprogram oc sp =
       print_file_loc oc (Some sp.subprogram_file_loc);
       print_opt_value oc sp.subprogram_external print_flag;
@@ -608,10 +608,10 @@ module DwarfPrinter(Target: DWARF_TARGET):
 
     let print_diab_entries oc entries =
       let abbrev_start = new_label () in
-      abbrev_start_addr := abbrev_start;  
+      abbrev_start_addr := abbrev_start;
       print_debug_abbrev oc entries;
       List.iter (fun (s,d,l,e,_) ->
-        section oc (Section_debug_info s);      
+        section oc (Section_debug_info s);
         print_debug_info oc d l e) entries;
       section oc Section_debug_loc;
       List.iter (fun (_,_,_,_,l) -> print_location_list oc l) entries
diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli
index 8f03eb8d..73588ad2 100644
--- a/debug/DwarfTypes.mli
+++ b/debug/DwarfTypes.mli
@@ -49,7 +49,7 @@ type location_value =
   | LocRef of address
   | LocSimple of location_expression
   | LocList of location_expression list
-        
+
 type data_location_value =
   | DataLocBlock of location_expression
   | DataLocRef of reference
@@ -60,10 +60,10 @@ type bound_value =
 
 (* Types representing the attribute information per tag value *)
 
-type file_loc = 
+type file_loc =
   | Diab_file_loc of int * constant
   | Gnu_file_loc of int * constant
-     
+
 type dw_tag_array_type =
     {
      array_type_file_loc: file_loc option;
diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml
index eff80110..ef0a6c4e 100644
--- a/debug/Dwarfgen.ml
+++ b/debug/Dwarfgen.ml
@@ -56,9 +56,9 @@ let int_type_to_entry id i =
     (match i.int_kind with
     | IBool -> DW_ATE_boolean
     | IChar ->
-        if !Machine.config.Machine.char_signed then 
-          DW_ATE_signed_char 
-        else 
+        if !Machine.config.Machine.char_signed then
+          DW_ATE_signed_char
+        else
           DW_ATE_unsigned_char
     | IInt | ILong | ILongLong | IShort | ISChar -> DW_ATE_signed
     | _ -> DW_ATE_unsigned)in
@@ -68,7 +68,7 @@ let int_type_to_entry id i =
     base_type_name = typ_to_string (TInt (i.int_kind,[]));} in
   new_entry id (DW_TAG_base_type int)
 
-let float_type_to_entry id f = 
+let float_type_to_entry id f =
   let byte_size = sizeof_fkind f.float_kind in
   let float = {
     base_type_byte_size = byte_size;
@@ -88,7 +88,7 @@ let void_to_entry id =
 let file_loc_opt file = function
   | None -> None
   | Some (f,l) ->
-    try 
+    try
       Some (file (f,l))
     with Not_found -> None
 
@@ -99,7 +99,7 @@ let typedef_to_entry file id t =
     typedef_name = t.typedef_name;
     typedef_type = i;
   } in
-  new_entry id (DW_TAG_typedef td) 
+  new_entry id (DW_TAG_typedef td)
 
 let pointer_to_entry id p =
   let p = {pointer_type = p.pts} in
@@ -183,8 +183,8 @@ let member_to_entry mem =
     member_bit_offset = mem.cfd_bit_offset;
     member_bit_size = mem.cfd_bit_size;
     member_data_member_location =
-    (match mem.cfd_byte_offset with 
-    | None -> None 
+    (match mem.cfd_byte_offset with
+    | None -> None
     | Some s -> Some (DataLocBlock (DW_OP_plus_uconst s)));
     member_declaration = None;
     member_name = Some (mem.cfd_name);
@@ -236,19 +236,19 @@ let needs_types id d =
   let add_type id d =
     if not (IntSet.mem id d) then
         IntSet.add id d,true
-      else 
+      else
         d,false in
   let t = Hashtbl.find types id in
   match t with
-  | IntegerType _ 
+  | IntegerType _
   | FloatType _
   | Void
   | EnumType _ -> d,false
   | Typedef t ->
       add_type (get_opt_val t.typ) d
-  | PointerType p -> 
+  | PointerType p ->
       add_type p.pts d
-  | ArrayType arr -> 
+  | ArrayType arr ->
       add_type arr.arr_type d
   | ConstType c ->
       add_type c.cst_type d
@@ -256,12 +256,12 @@ let needs_types id d =
       add_type v.vol_type d
   | FunctionType f ->
       let d,c = match f.fun_return_type with
-      | Some t -> add_type t d 
+      | Some t -> add_type t d
       | None -> d,false in
       List.fold_left (fun (d,c) p ->
         let d,c' = add_type p.param_type d in
         d,c||c') (d,c) f.fun_params
-  | CompositeType c -> 
+  | CompositeType c ->
       List.fold_left (fun (d,c) f ->
         let d,c' = add_type f.cfd_typ d in
         d,c||c') (d,false) c.ct_members
@@ -276,10 +276,10 @@ let gen_types file needed =
     else
       d in
   let typs = aux needed in
-  List.rev (Hashtbl.fold (fun id t acc -> 
+  List.rev (Hashtbl.fold (fun id t acc ->
     if IntSet.mem id typs then
       (infotype_to_entry file id t)::acc
-    else 
+    else
       acc) types [])
 
 let global_variable_to_entry file acc id v =
@@ -300,13 +300,13 @@ let global_variable_to_entry file acc id v =
 let gen_splitlong op_hi op_lo =
   let op_piece = DW_OP_piece 4 in
   op_piece::op_hi@(op_piece::op_lo)
-  
-let translate_function_loc a = function 
+
+let translate_function_loc a = function
   | BA_addrstack (ofs) ->
       let ofs = camlint_of_coqint ofs in
       Some (LocSimple (DW_OP_bregx (a,ofs))),[]
   | BA_splitlong (BA_addrstack hi,BA_addrstack lo)->
-      let hi = camlint_of_coqint hi 
+      let hi = camlint_of_coqint hi
       and lo = camlint_of_coqint lo in
       if lo = Int32.add hi 4l then
         Some (LocSimple (DW_OP_bregx (a,hi))),[]
@@ -315,11 +315,11 @@ let translate_function_loc a = function
         and op_lo = [DW_OP_bregx (a,lo)] in
         Some (LocList (gen_splitlong op_hi op_lo)),[]
   | _ -> None,[]
-      
+
 let range_entry_loc (sp,l) =
   let rec aux = function
     | BA i ->  [DW_OP_reg i]
-    | BA_addrstack ofs -> 
+    | BA_addrstack ofs ->
         let ofs = camlint_of_coqint ofs in
         [DW_OP_bregx (sp,ofs)]
     | BA_splitlong (hi,lo) ->
@@ -334,12 +334,12 @@ let range_entry_loc (sp,l) =
 
 let location_entry f_id atom =
   try
-    begin 
+    begin
       match (Hashtbl.find var_locations (f_id,atom)) with
       | FunctionLoc (a,r) ->
           translate_function_loc a r
       | RangeLoc l ->
-          let l = List.rev_map (fun i -> 
+          let l = List.rev_map (fun i ->
             let hi = get_opt_val i.range_start
             and lo = get_opt_val i.range_end in
             let hi = Hashtbl.find label_translation (f_id,hi)
@@ -380,8 +380,8 @@ let rec local_variable_to_entry file f_id (acc,bcc) v id =
 and scope_to_entry file f_id acc sc id =
   let l_pc,h_pc = try
     let r = Hashtbl.find scope_ranges id in
-    let lbl l = match l with 
-    | Some l -> Some (Hashtbl.find label_translation (f_id,l)) 
+    let lbl l = match l with
+    | Some l -> Some (Hashtbl.find label_translation (f_id,l))
     | None -> None in
     begin
       match r with
@@ -401,8 +401,8 @@ and scope_to_entry file f_id acc sc id =
 and local_to_entry file f_id acc id =
   match Hashtbl.find local_variables id with
   | LocalVariable v -> local_variable_to_entry file f_id acc v id
-  | Scope v -> let s,acc = 
-      (scope_to_entry file f_id acc v id) in 
+  | Scope v -> let s,acc =
+      (scope_to_entry file f_id acc v id) in
     Some s,acc
 
 let fun_scope_to_entries file f_id acc id =
@@ -430,7 +430,7 @@ let function_to_entry file (acc,bcc) id f =
   let params,(acc,bcc) = mmap (function_parameter_to_entry f_id) (acc,bcc) f.fun_parameter in
   let vars,(acc,bcc) = fun_scope_to_entries file f_id (acc,bcc) f.fun_scope in
   add_children f_entry (params@vars),(acc,bcc)
-     
+
 let definition_to_entry file (acc,bcc) id t =
   match t with
   | GlobalVariable g -> let e,acc = global_variable_to_entry file acc id g in
@@ -450,7 +450,7 @@ let gen_diab_debug_info sec_name var_section : debug_entries =
     let old = try StringMap.find s acc with Not_found -> [] in
     StringMap.add s ((id,t)::old) acc) definitions StringMap.empty in
   let entries = StringMap.fold (fun s defs acc ->
-    let defs,(ty,locs) = List.fold_left (fun (acc,bcc) (id,t) -> 
+    let defs,(ty,locs) = List.fold_left (fun (acc,bcc) (id,t) ->
       let t,bcc = definition_to_entry (diab_file_loc s) bcc id t in
       t::acc,bcc) ([],(IntSet.empty,[])) defs in
     let low_pc = Hashtbl.find compilation_section_start s
@@ -459,7 +459,7 @@ let gen_diab_debug_info sec_name var_section : debug_entries =
     let cp = {
       compile_unit_name = !file_name;
       compile_unit_low_pc = low_pc;
-      compile_unit_high_pc = high_pc; 
+      compile_unit_high_pc = high_pc;
     } in
     let cp = new_entry (next_id ()) (DW_TAG_compile_unit cp) in
     let cp = add_children cp ((gen_types (diab_file_loc s) ty) @ defs) in
@@ -472,7 +472,7 @@ let gnu_file_loc (f,l) =
 let gen_gnu_debug_info sec_name var_section : debug_entries =
   let low_pc = Hashtbl.find compilation_section_start ".text"
   and high_pc = Hashtbl.find compilation_section_end ".text" in
-  let defs,(ty,locs),sec = Hashtbl.fold (fun  id t (acc,bcc,sec) -> 
+  let defs,(ty,locs),sec = Hashtbl.fold (fun  id t (acc,bcc,sec) ->
     let s = match t with
     | GlobalVariable _ -> var_section
     | Function f -> sec_name (get_opt_val f.fun_atom) in
@@ -482,7 +482,7 @@ let gen_gnu_debug_info sec_name var_section : debug_entries =
   let cp = {
     compile_unit_name = !file_name;
     compile_unit_low_pc = low_pc;
-    compile_unit_high_pc = high_pc; 
+    compile_unit_high_pc = high_pc;
   } in
   let cp = new_entry (next_id ()) (DW_TAG_compile_unit cp) in
   let cp = add_children cp (types@defs) in