Project

General

Profile

Revision d2d9d4cb src/inliner.ml

View differences:

src/inliner.ml
212 212
  let inline_pair e1 e2 = 
213 213
    let el', l', eqs', asserts', annots' = inline_tuple [e1;e2] in
214 214
    match el' with
215
    | [e1'; e2'] -> e1', e2', l', eqs', asserts'
215
    | [e1'; e2'] -> e1', e2', l', eqs', asserts', annots'
216 216
    | _ -> assert false
217 217
  in
218 218
  let inline_triple e1 e2 e3 = 

Also available in: Unified diff