Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
This commit is contained in:
commit
f7b05ede15
@ -2993,7 +2993,7 @@ p_owner_file(void)
|
||||
UNLOCK(pe->PELock);
|
||||
return FALSE;
|
||||
}
|
||||
owner = pe->src.OwnerFile
|
||||
owner = pe->src.OwnerFile;
|
||||
UNLOCK(pe->PELock);
|
||||
return Yap_unify(ARG3, MkAtomTerm(owner));
|
||||
}
|
||||
|
@ -97,6 +97,7 @@ true :- true.
|
||||
|
||||
'$init_globals' :-
|
||||
'$init_consult',
|
||||
nb_setval('$chr_toplevel_show_store',false),
|
||||
nb_setval('$break',0),
|
||||
% '$set_read_error_handler'(error), let the user do that
|
||||
nb_setval('$open_expands_filename',true),
|
||||
|
Reference in New Issue
Block a user