From 43aa642ad4f2d30029c1c1f272ba162b6801a40b Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 29 May 2015 15:41:51 +0200
Subject: coqtop: reset the current file name after a load-vernac-source

---
 toplevel/vernac.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/toplevel/vernac.ml b/toplevel/vernac.ml
index a06702e0d6..7d84ecf6ca 100644
--- a/toplevel/vernac.ml
+++ b/toplevel/vernac.ml
@@ -277,6 +277,7 @@ and read_vernac_file verbosely s =
     close_input in_chan input;    (* we must close the file first *)
     match e with
       | End_of_input ->
+          cur_file := None;
           if do_beautify () then
             pr_new_syntax (Loc.make_loc (max_int,max_int)) None
       | _ -> raise_with_file fname (disable_drop e, info)
-- 
cgit v1.2.3