From c41674da8b027de204d43831ca09a44bd1156c1f Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 27 Jun 2014 21:37:36 +0200
Subject: Typo in stm error message.

---
 stm/stm.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
cgit v1.2.3