From 8cb2656507f44b7342ac4b75f787dd8f832ada84 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Tue, 22 Oct 2013 14:31:45 +0000
Subject: STM: proper error message if the GUI edits_at a dummy state

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16909 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/stm.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/toplevel/stm.ml b/toplevel/stm.ml
index f63cd9e4e5..85e9a30ab1 100644
--- a/toplevel/stm.ml
+++ b/toplevel/stm.ml
@@ -1590,6 +1590,7 @@ type focus = {
 }
 
 let edit_at id =
+  if Stateid.equal id Stateid.dummy then anomaly(str"edit_at dummy") else
   let vcs = VCS.backup () in
   let on_cur_branch id =
     let rec aux cur =
-- 
cgit v1.2.3