diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/monomorphise.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index 6ae90c23..fa284ffb 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -1255,7 +1255,7 @@ let split_defs splits defs = | Range (p,q) -> let matches = List.filter (fun ((filename,line),_) -> - Filename.basename p.Lexing.pos_fname = filename && + p.Lexing.pos_fname = filename && p.Lexing.pos_lnum <= line && line <= q.Lexing.pos_lnum) ls in List.map snd matches in |