Revision e39f5319
Added by Xavier Thirioux almost 10 years ago
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
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