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 /plugins | |
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 'plugins')
0 files changed, 0 insertions, 0 deletions