diff options
-rw-r--r-- | toplevel/stm.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/stm.ml b/toplevel/stm.ml index f63cd9e4e..85e9a30ab 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 = |