From 120d6ff19a6e9a695927ea2d23f8e338c6bc5cbc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Fri, 13 Nov 2015 13:21:21 +0000
Subject: [PATCH] add missing directory_files/2

---
 library/system.yap | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/library/system.yap b/library/system.yap
index 6b525293e..4eac4dd5f 100644
--- a/library/system.yap
+++ b/library/system.yap
@@ -507,6 +507,9 @@ delete_dirfiles([F|Fs], File, Ignore) :-
 	delete_file(TrueF, off, on, Ignore),
 	delete_dirfiles(Fs, File, Ignore).
 
+directory_files(File, FileList) :-
+    directory_files(File, FileList, on).
+    
 directory_files(File, FileList, Ignore) :-
        list_directory(File, FileList, Error),
        handle_system_internal(Error, Ignore, directory_files(File, FileList)).