diff options
Diffstat (limited to 'otherlibs/dynlink/dynlink_types.ml')
| -rw-r--r-- | otherlibs/dynlink/dynlink_types.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/dynlink/dynlink_types.ml b/otherlibs/dynlink/dynlink_types.ml index ebfd2d1cde..90e905dacd 100644 --- a/otherlibs/dynlink/dynlink_types.ml +++ b/otherlibs/dynlink/dynlink_types.ml @@ -101,7 +101,7 @@ let () = | Corrupted_interface s -> Printf.sprintf "Corrupted_interface %S" s | Cannot_open_dynamic_library exn -> - Printf.sprintf "Cannot_open_dll %S" (Printexc.to_string exn) + Printf.sprintf "Cannot_open_dll %s" (Printexc.to_string exn) | Inconsistent_implementation s -> Printf.sprintf "Inconsistent_implementation %S" s | Library's_module_initializers_failed exn -> |