Project

General

Profile

Revision 89b9e25c src/clocks.ml

View differences:

src/clocks.ml
574 574
      print_ck ck
575 575

  
576 576
let uneval const cr =
577
 (*Format.printf "uneval %s %a@." const print_carrier cr;*)
577
  (*Format.printf "Clocks.uneval %s %a@." const print_carrier cr;*)
578 578
  let cr = carrier_repr cr in
579 579
  match cr.carrier_desc with
580 580
  | Carry_var -> cr.carrier_desc <- Carry_const const

Also available in: Unified diff