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 553a85fce..f937c782a 100644 --- a/debugger/source.ml +++ b/debugger/source.ml @@ -21,7 +21,7 @@ open Primitives (*** Conversion function. ***) let source_of_module mdle = - find_in_path !Config.load_path (String.uncapitalize mdle ^ ".ml") + find_in_path_uncap !Config.load_path (mdle ^ ".ml") (*** Buffer cache ***) |