Project

General

Profile

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

View differences:

src/backends/Ada/misc_lustre_function.ml
271 271
              }
272 272
            in
273 273
            let mkval_var id = {
274
                              value_desc   = Var id;
275
                              value_type   = id.var_type;
276
                              value_annot  = None
277
                            }
274
              value_desc   = Var id;
275
              value_type   = id.var_type;
276
              value_annot  = None
277
            }
278 278
            in
279 279
            let rec find_split s1 id1 accu = function
280 280
              | [] -> [], accu, mkval_var id1

Also available in: Unified diff