Project

General

Profile

Revision 0d54d8a8 src/checks/algebraicLoop.ml

View differences:

src/checks/algebraicLoop.ml
143 143
  Options.verbose_level := !Options.verbose_level - 2;
144 144

  
145 145
  (* Mini stage 1 *)
146
  (* Extracting dependencies *)
147
  let dependencies = Compiler_common.import_dependencies prog in
146
  (* Extracting dependencies: fill some table with typing info *)
147
  ignore (Compiler_common.import_dependencies 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