diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2016-01-05 19:41:08 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2016-01-05 19:41:08 +0100 |
| commit | 64487121a35628512c1bd1b4e7039132f84ab270 (patch) | |
| tree | c8eaace42c793eb0be416261e1078f2cb195367d /library/libnames.mli | |
| parent | 8a9445fbf65d4ddf2c96348025d487b4d54a5d01 (diff) | |
Avoid warning 31: test printer was linked twice with Dynlink and Str.
Linking a module twice is unsafe and warning 31 will be fatal by default in
OCaml 4.03. See PR#5461.
Diffstat (limited to 'library/libnames.mli')
0 files changed, 0 insertions, 0 deletions