Project

General

Profile

Revision f4050bef src/compiler_stages.ml

View differences:

src/compiler_stages.ml
87 87
  let computed_clocks_env = clock_decls clock_env prog in
88 88

  
89 89
  (* Registering and checking machine types *)
90
  Machine_types.load prog;
90
  if Machine_types.is_active then Machine_types.load prog;
91 91
  
92 92

  
93 93
  (* Generating a .lusi header file only *)

Also available in: Unified diff