From 17da004a5f125fdc200a94b86fcb61c1f05d1acf Mon Sep 17 00:00:00 2001
From: ubu32 <vitor@ubuntu.(none)>
Date: Mon, 14 Feb 2011 06:49:48 -0800
Subject: [PATCH] make sure we initialize the OS bits.

---
 packages/PLStream/pl-file.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/PLStream/pl-file.c b/packages/PLStream/pl-file.c
index e78679d8c..d20d84970 100755
--- a/packages/PLStream/pl-file.c
+++ b/packages/PLStream/pl-file.c
@@ -4732,6 +4732,7 @@ init_yap(void)
   PL_register_extensions(foreigns);
   fileerrors = TRUE;
   SinitStreams();
+  initOs();
 }
 #endif