Project

General

Profile

« Previous | Next » 

Revision e39f5319

Added by Xavier Thirioux about 7 years ago

corrected a bug when activating optimization (-O 3) (edge missing in a dep graph)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@448 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/modules.ml
129 129
      (*Format.eprintf "Error: %s@." msg;*)
130 130
      raise (Error (loc, Unknown_library basename))
131 131
    end
132
  | Corelang.Error (_, msg) as exc -> raise (Corelang.Error (loc, msg))
132
  | Corelang.Error (_, msg) -> raise (Corelang.Error (loc, msg))
133 133

  
134 134
let import_dependency loc (local, dep) =
135 135
  try

Also available in: Unified diff