From 5dd3aa578250884a0c495c655ee598cbf9ec2c97 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Wed, 10 Jun 2009 12:42:45 -0500 Subject: [PATCH] fix wneighbors --- library/wundgraphs.yap | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/library/wundgraphs.yap b/library/wundgraphs.yap index f766e121a..19e500c2d 100644 --- a/library/wundgraphs.yap +++ b/library/wundgraphs.yap @@ -44,7 +44,8 @@ wdgraph_del_edges/3, wdgraph_del_vertex/3, wdgraph_edges/2, - wdgraph_neighbors/3 + wdgraph_neighbors/3, + wdgraph_wneighbors/3 ]). :- use_module(library(rbtrees), @@ -105,7 +106,7 @@ wundgraph_neighbors(V,Vertices,Children) :- ). wundgraph_wneighbours(V,Vertices,Children) :- - wdgraph_wneighbours(V,Vertices,Children0), + wdgraph_wneighbors(V,Vertices,Children0), ( wdel_me(Children0,V,Children) ->