diff options
Diffstat (limited to 'stm/vcs.ml')
| -rw-r--r-- | stm/vcs.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stm/vcs.ml b/stm/vcs.ml index 88f860eb6..df3b8aa62 100644 --- a/stm/vcs.ml +++ b/stm/vcs.ml @@ -113,7 +113,7 @@ let add_node vcs id edges = let get_branch vcs head = try BranchMap.find head vcs.heads - with Not_found -> anomaly (str"head " ++ str head ++ str" not found") + with Not_found -> anomaly (str"head " ++ str head ++ str" not found.") let reset_branch vcs head id = let map name h = |