diff options
author | 2014-06-27 21:37:36 +0200 | |
---|---|---|
committer | 2014-06-28 17:47:04 +0200 | |
commit | c41674da8b027de204d43831ca09a44bd1156c1f (patch) | |
tree | 8deee0eb0b28f4d581218210737c1ac449047899 /stm/stm.ml | |
parent | 2c8335b4d2cf928f8494b4abf100b5bb6a8d2fa0 (diff) |
Typo in stm error message.
Diffstat (limited to 'stm/stm.ml')
-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 b53c9fcf8..4a409c085 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 |