update PLStream to improvements in the interface.

2010-05-04 15:17:08 +01:00
parent 0740495d77
commit 9ff4bbfbfe
7 changed files with 160 additions and 59 deletions
--- a/packages/PLStream/pl-file.c
+++ b/packages/PLStream/pl-file.c
@@ -4308,6 +4308,8 @@ static void
 init_yap_extras()
 {
  initCharTypes();
+  initFiles();
+  initGlob();
  PL_register_extensions(PL_predicates_from_file);
  fileerrors = TRUE;
  SinitStreams();