From e80cc50fc763845514ebd418236eb30c620dadcf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Wed, 28 Jul 2010 17:12:51 +0100
Subject: [PATCH] assoc_to_keys/2 (used in SWI).

---
 library/assoc.yap | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/library/assoc.yap b/library/assoc.yap
index 2c0d6a193..34bc23dac 100644
--- a/library/assoc.yap
+++ b/library/assoc.yap
@@ -21,6 +21,7 @@
 	map_assoc/3,
 	put_assoc/4,
 	del_assoc/4,
+		  assoc_to_keys/2,
 	del_min_assoc/4,
 	del_max_assoc/4
     ]).
@@ -42,6 +43,7 @@
 	ord_list_to_rbtree/2,
 	rb_map/2,
 	rb_map/3,
+	rb_keys/2,
 	rb_update/4,
 	rb_insert/4,
 	rb_delete/4,
@@ -123,4 +125,7 @@ del_max_assoc(T, K, V, NT) :-
 	rb_del_max(T, K, V, NT).
 
 
+assoc_to_keys(T, Ks) :-
+	rb_keys(T, Ks).
+