Project

General

Profile

Revision 12af4908 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
180 180
      let _, declared_types_env, declared_clocks_env = check_lusi header in
181 181
      (* checking type compatibility with computed types*)
182 182
      Typing.check_env_compat header declared_types_env computed_types_env;
183
      (* checking clocks compatibilty with computed clocks*)
183
      (* checking clocks compatibility with computed clocks*)
184 184
      Clock_calculus.check_env_compat header declared_clocks_env computed_clocks_env;
185 185
      Typing.uneval_prog_generics prog
186 186
    with Sys_error _ -> ( 

Also available in: Unified diff