Commit 4d4cea30 authored by gerd's avatar gerd

Fix: node_path works for root nodes (this method

raised Not_found for root nodes before)

git-svn-id: dbe99aee-44db-0310-b2b3-d33182c8eb97
parent e2f80161
......@@ -312,7 +312,7 @@ object (self)
method private local_node_path =
(* to be overridden *)
[self # node_position]
try [self # node_position] with Not_found -> []
method internal_adopt (new_parent : 'ext node option) pos =
begin match parent with
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment