From df70c87cd7adab8a748a248f7660738dcc043186 Mon Sep 17 00:00:00 2001
From: Shachar Itzhaky
Date: Thu, 11 Apr 2019 13:58:28 +0300
Subject: [stm] Report correct ids on some errors where it was dummy.

---
 stm/stm.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/stm/stm.ml b/stm/stm.ml
index d54a5fdf43..e1ab45163a 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -2970,7 +2970,7 @@ let process_transaction ~doc ?(newtip=Stateid.fresh ())
            "Nested proofs are not allowed unless you turn option Nested Proofs Allowed on."
            |> Pp.str
            |> (fun s -> (UserError (None, s), Exninfo.null))
-           |> State.exn_on ~valid:Stateid.dummy Stateid.dummy
+           |> State.exn_on ~valid:Stateid.dummy newtip
            |> Exninfo.iraise
          else
 
@@ -3054,7 +3054,7 @@ let process_transaction ~doc ?(newtip=Stateid.fresh ())
             "Commands which may open proofs are not allowed in a proof unless you turn option Nested Proofs Allowed on."
             |> Pp.str
             |> (fun s -> (UserError (None, s), Exninfo.null))
-            |> State.exn_on ~valid:Stateid.dummy Stateid.dummy
+            |> State.exn_on ~valid:Stateid.dummy newtip
             |> Exninfo.iraise
           else
             let id = VCS.new_node ~id:newtip proof_mode () in
-- 
cgit v1.2.3