From c01017cbde71a9af0707594d33d1af2b6b5b2186 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 10 Jan 2019 15:02:03 +0100
Subject: [STM] kill no_safe_id anomaly

---
 stm/stm.ml | 14 +++-----------
 1 file changed, 3 insertions(+), 11 deletions(-)

diff --git a/stm/stm.ml b/stm/stm.ml
index 036b8d7969..169d608d2d 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -2831,17 +2831,9 @@ let merge_proof_branch ~valid ?id qast keep brname =
 (* When tty is true, this code also does some of the job of the user interface:
    jump back to a state that is valid *)
 let handle_failure (e, info) vcs =
-  match Stateid.get info with
-  | None ->
-      VCS.restore vcs;
-      VCS.print ();
-      anomaly(str"error with no safe_id attached:" ++ spc() ++
-        CErrors.iprint_no_report (e, info) ++ str".")
-  | Some (safe_id, id) ->
-      stm_prerr_endline (fun () -> "Failed at state " ^ Stateid.to_string id);
-      VCS.restore vcs;
-      VCS.print ();
-      Exninfo.iraise (e, info)
+  VCS.restore vcs;
+  VCS.print ();
+  Exninfo.iraise (e, info)
 
 let snapshot_vio ~doc ldir long_f_dot_vo =
   let doc = finish ~doc in
-- 
cgit v1.2.3