diff options
Diffstat (limited to 'debugger/source.ml')
| -rw-r--r-- | debugger/source.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/source.ml b/debugger/source.ml index c68df3373..af69fbc7b 100644 --- a/debugger/source.ml +++ b/debugger/source.ml @@ -74,7 +74,7 @@ let get_buffer pos mdle = try List.assoc mdle !buffer_list with Not_found -> let inchan = open_in_bin (source_of_module pos mdle) in - let content = Misc.input_bytes inchan (in_channel_length inchan) in + let content = really_input_string inchan (in_channel_length inchan) in let buffer = (content, ref []) in buffer_list := (list_truncate !buffer_max_count ((mdle, buffer)::!buffer_list)); |