Project

General

Profile

Revision 0d54d8a8 src/clock_calculus.ml

View differences:

src/clock_calculus.ml
734 734
  nd.nodei_clock <- ck_node;
735 735
  Env.add_value env nd.nodei_id ck_node
736 736

  
737

  
738
let new_env = clock_var_decl_list
739
              
737 740
let clock_top_const env cdecl=
738 741
  let ck = new_var false in
739 742
  try_generalize ck cdecl.const_loc;

Also available in: Unified diff