Project

General

Profile

« Previous | Next » 

Revision fc36d0a0

Added by Xavier Thirioux over 1 year ago

added some cleaning about hash-tables used for typing, clocking, etc.

View differences:

src/global.ml
16 16
let initialize () =
17 17
  begin
18 18
    main_node := !Options.main_node;
19
    type_env  := Basic_library.type_env;
20
    clock_env := Basic_library.clock_env;
19 21
  end
20 22

  
21 23
(* Local Variables: *)

Also available in: Unified diff