From 98ddcaf12bd2ff2c42f2c20fcb145af806a7e6d8 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 5 Dec 2017 14:12:20 +0000
Subject: Remove filename mangling in monomorphisation Broke analysis a little

---
 src/monomorphise.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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 
-- 
cgit v1.2.3