diff options
Diffstat (limited to 'debugger/dynlink.ml')
| -rw-r--r-- | debugger/dynlink.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debugger/dynlink.ml b/debugger/dynlink.ml index 068015f8c..6f4fe5af7 100644 --- a/debugger/dynlink.ml +++ b/debugger/dynlink.ml @@ -200,7 +200,8 @@ let loadfile file_name = seek_in ic toc_pos; let lib = (input_value ic : library) in begin try - Dll.open_dlls (List.map Dll.extract_dll_name lib.lib_dllibs) + Dll.open_dlls Dll.For_execution + (List.map Dll.extract_dll_name lib.lib_dllibs) with Failure reason -> raise(Error(Cannot_open_dll reason)) end; |