Revision 38ae7765
Added by Pierre-Loïc Garoche over 4 years ago
| src/error.ml | ||
|---|---|---|
| 49 | 49 |
fprintf fmt |
| 50 | 50 |
"library %s.lusic has a different version number and may crash compiler.@.Please recompile the corresponding interface or source file.@." |
| 51 | 51 |
sym |
| 52 |
| AlgebraicLoop _ -> assert false (* should have been handled yet *)
|
|
| 52 |
| AlgebraicLoop -> assert false (* should have been handled yet *) |
|
| 53 | 53 |
|
| 54 | 54 |
let pp_warning loc pp_msg = |
| 55 | 55 |
Format.eprintf "%a@.Warning: %t@." |
Also available in: Unified diff
no comment