diff options
Diffstat (limited to 'debugger/input_handling.ml')
| -rw-r--r-- | debugger/input_handling.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/input_handling.ml b/debugger/input_handling.ml index dec3f86cc..f25d47426 100644 --- a/debugger/input_handling.ml +++ b/debugger/input_handling.ml @@ -30,7 +30,7 @@ let add_file file controller = (* Remove a file from the list of actives files. *) let remove_file file = - active_files := assoc_remove !active_files file.io_fd + active_files := List.remove_assoc file.io_fd !active_files (* Change the controller for the given file. *) let change_controller file controller = |