diff options
| -rw-r--r-- | stm/stm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stm/stm.ml b/stm/stm.ml index b53c9fcf8f..4a409c0852 100644 --- a/stm/stm.ml +++ b/stm/stm.ml @@ -1395,7 +1395,7 @@ end = struct let info = VCS.get_info id in match info.vcs_backup with | _, None -> - anomaly(str"Backtrack.backto "++str(Stateid.to_string id)++ + anomaly(str"Backtrack.branches_of "++str(Stateid.to_string id)++ str": a state with no vcs_backup") | _, Some x -> x |