From bc2ddcc372666480a565cc75325b7049bc27a76b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa=20II?= <vsc@dcc.fc.up.pt>
Date: Thu, 22 Apr 2010 18:05:23 +0100
Subject: [PATCH] fix SWI's index.

---
 library/dialect/swi/INDEX.pl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/library/dialect/swi/INDEX.pl b/library/dialect/swi/INDEX.pl
index 37cc7c726..89c52b0f7 100644
--- a/library/dialect/swi/INDEX.pl
+++ b/library/dialect/swi/INDEX.pl
@@ -53,6 +53,8 @@ index(convert_time,2,system,library(dialect/swi)).
 index('$set_source_module',2,system,library(dialect/swi)).
 index('$declare_module',5,system,library(dialect/swi)).
 index('$set_predicate_attribute',3,system,library(dialect/swi)).
+index(load_foreign_library,1,system,library(dialect/swi)).
+index(load_foreign_library,2,system,library(dialect/swi)).
 index(time_file,2,system,library(dialect/swi)).
 index(flag,3,system,library(dialect/swi)).
 index(current_flag,1,system,library(dialect/swi)).