Revision 5fccce23 src/checks/algebraicLoop.ml
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