Project

General

Profile

Revision c2db420f src/backends/Ada/ada_backend_ads.ml

View differences:

src/backends/Ada/ada_backend_ads.ml
115 115
      | Some m -> List.map (fun x-> pp_var_decl (build_pp_var_decl AdaNoMode (Some (true, false, [], [])) x)) m.mmemory
116 116
    in
117 117
    let ghost_private = memories in
118
    
118
    (* Commented since not used. Could be reinjected in the code 
119 119
    let vars_spec = match m_spec_opt with
120 120
      | None -> []
121 121
      | Some m_spec -> List.map (build_pp_var_decl AdaNoMode (Some (true, false, [], []))) (m_spec.mmemory)
122
    in
122
    in *)
123 123
    let vars = List.map (build_pp_var_decl AdaNoMode None) m.mmemory in
124 124
    let states = List.map (build_pp_state_decl_from_subinstance AdaNoMode None) typed_instances in
125 125
    let var_lists =

Also available in: Unified diff