From ab5c24cb870be0d2aacf15d19ffb3858b2061b9e Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 30 Oct 2013 14:12:54 +0000
Subject: [PATCH] init state should be shared by threads

---
 pl/boot.yap | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pl/boot.yap b/pl/boot.yap
index ece9bc282..0af841705 100755
--- a/pl/boot.yap
+++ b/pl/boot.yap
@@ -46,9 +46,9 @@ true :- true.
 
 
 '$init_system' :-
-    '$nb_getval'('$yap_inited', on, fail), !.
+    get_value('$yap_inited', true), !.
 '$init_system' :-
-    nb_setval('$yap_inited', on),
+    set_value('$yap_inited', true),
     % do catch as early as possible
     (
      '$access_yap_flags'(15, 0),