From 64f0a3f014e423e4f7aa4fc1dc47cb70bc0e81fa Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 20 Jun 2017 21:55:16 +0200
Subject: [stm] Fix route setting on VtQuery

This is a fix for a mistake in
d8874dd855d748aaaf504890487ab15ffd7a677d , where we forgot to
propagate the route parameter.
---
 stm/stm.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/stm/stm.ml b/stm/stm.ml
index 071d2edf98..a7ed84350b 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -2523,11 +2523,12 @@ let process_transaction ?(newtip=Stateid.fresh ())
       | VtQuery (false, route), VtNow ->
         begin
           let query_sid = VCS.cur_tip () in
-          try stm_vernac_interp (VCS.cur_tip ()) x
+          try stm_vernac_interp ~route (VCS.cur_tip ()) x
           with e ->
             let e = CErrors.push e in
             Exninfo.iraise (State.exn_on ~valid:Stateid.dummy query_sid e)
         end; `Ok
+      (* Part of the script commands don't set the query route *)
       | VtQuery (true, _route), w ->
           let id = VCS.new_node ~id:newtip () in
           let queue =
-- 
cgit v1.2.3