Project

General

Profile

Revision 5fccce23 src/checks/algebraicLoop.ml

View differences:

src/checks/algebraicLoop.ml
144 144

  
145 145
  (* Mini stage 1 *)
146 146
  (* Extracting dependencies: fill some table with typing info *)
147
  ignore (Compiler_common.import_dependencies prog);
147
  ignore (Modules.load ~is_header:false prog);
148 148
  (* Local inlining *)
149 149
  let prog = Inliner.local_inline prog (* type_env clock_env *) in
150 150
  (* Checking stateless/stateful status *)

Also available in: Unified diff