From 8cd5b375dbf1d53eb65bf8243da31f1666a13c11 Mon Sep 17 00:00:00 2001
From: Fabrice Le Fessant <fabrice@ocamlpro.com>
Date: Mon, 23 May 2011 16:22:24 +0200
Subject: [PATCH] * Fix the case where !input_name is not initialized (i.e. "_none_", while
   it is assumed to be "")

---
 inline-more/parsing/location.ml |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/inline-more/parsing/location.ml b/inline-more/parsing/location.ml
index 15b074a..f448ef1 100644
--- a/inline-more/parsing/location.ml
+++ b/inline-more/parsing/location.ml
@@ -205,7 +205,7 @@ let (msg_file, msg_line, msg_chars, msg_to, msg_colon, msg_head) =
 (* return file, line, char from the given position *)
 let get_pos_info pos =
   let (filename, linenum, linebeg) =
-    if pos.pos_fname = "" && !input_name = "" then
+    if pos.pos_fname = "" && (!input_name = "" || !input_name = "_none_") then
       ("", -1, 0)
     else if pos.pos_fname = "" then
       Linenum.for_position !input_name pos.pos_cnum
--
1.7.1