Project

General

Profile

Revision 04a188ec src/global.ml

View differences:

src/global.ml
1 1
module Types = Types.Main
2 2

  
3
let type_env : (Types.type_expr Env.t) ref = ref Basic_library.type_env
4
let clock_env : (Clocks.clock_expr Env.t) ref = ref Basic_library.clock_env
3
let type_env : (Types.type_expr Env.t) ref = ref Env.initial (* Basic_library.type_env *)
4
let clock_env : (Clocks.clock_expr Env.t) ref = ref Env.initial (*Basic_library.clock_env *)
5 5
let basename = ref ""
6 6
let main_node = ref ""
7 7

  

Also available in: Unified diff