Project

General

Profile

« Previous | Next » 

Revision 2200179c

Added by Pierre-Loïc Garoche over 2 years ago

removed reload of external modules when checking algebraic loop.

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 (Modules.load ~is_header:false prog);
147
  (* ignore (Modules.load ~is_header:false prog); REMOVED on 2019/07/16 *)
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