Project

General

Profile

Revision d5fe9ac9 src/clock_calculus.ml

View differences:

src/clock_calculus.ml
689 689
      match r with
690 690
      | None        -> new_var true
691 691
      | Some c      -> clock_standard_args env [c] in
692
    let couts = clock_appl env id args cr expr.expr_loc in
692
    let couts = clock_appl env id args (clock_uncarry cr) expr.expr_loc in
693 693
    expr.expr_clock <- couts;
694 694
    couts
695 695
    with exn -> (

Also available in: Unified diff