diff options
Diffstat (limited to 'toplevel/stm.ml')
| -rw-r--r-- | toplevel/stm.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/toplevel/stm.ml b/toplevel/stm.ml index fc52d3644..875c933ef 100644 --- a/toplevel/stm.ml +++ b/toplevel/stm.ml @@ -332,7 +332,6 @@ end = struct (* {{{ *) let current_branch () = current_branch !vcs let checkout head = vcs := checkout !vcs head - let master = Branch.master let branches () = branches !vcs let get_branch head = get_branch !vcs head let get_branch_pos head = (get_branch head).pos |