Project

General

Profile

Revision 173a2a8f src/backends/Ada/ada_backend.ml

View differences:

src/backends/Ada/ada_backend.ml
112 112
            | [] -> None
113 113
            | _ -> Some machine_spec
114 114
        in
115
        None, [] (*(opt_machine_spec, guarantees)*)
115
        (opt_machine_spec, guarantees, 4)
116 116
      end
117
    | _ -> None, []
117
    | _ -> None, [], 0
118 118

  
119 119
(** Main function of the Ada backend. It calls all the subfunction creating all
120 120
the file and fill them with Ada code representing the machines list given.

Also available in: Unified diff