diff options
| author | Brian Campbell | 2017-12-05 14:12:20 +0000 |
|---|---|---|
| committer | Brian Campbell | 2017-12-06 17:36:59 +0000 |
| commit | 98ddcaf12bd2ff2c42f2c20fcb145af806a7e6d8 (patch) | |
| tree | 846b3efeb423362898867cfcfa4c373da7f4e824 /src | |
| parent | efdb1665f7aed6bc1b9781c55eaef14f34c26fb0 (diff) | |
Remove filename mangling in monomorphisation
Broke analysis a little
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 |