diff options
| author | Maxime Dénès | 2016-01-05 19:41:08 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-01-05 19:41:08 +0100 |
| commit | 64487121a35628512c1bd1b4e7039132f84ab270 (patch) | |
| tree | c8eaace42c793eb0be416261e1078f2cb195367d /kernel | |
| 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 'kernel')
0 files changed, 0 insertions, 0 deletions