From 2e57ba97c377994ac80434966d1721eefe5abc8d Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Thu, 29 Mar 2018 21:21:52 +0300
Subject: [PATCH] Always use command line origin

---
 config.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.ml b/config.ml
index 694dafe..e47043a 100644
--- a/config.ml
+++ b/config.ml
@@ -1529,7 +1529,7 @@ let load openlast =
       else
         let absname = abspath state.path in
         match Hashtbl.find h absname with
-        | v -> v
+        | (c,b,x,a,o) -> (c,b,x,a,state.origin)
         | exception Not_found ->
            let exception E of (conf * outline list * int * anchor * string) in
            let key = try Digest.file absname |> Digest.to_hex with _ -> E.s in
-- 
2.11.4.GIT