fix missing global.
This commit is contained in:
parent
8b18242138
commit
28c60f7e09
@ -97,6 +97,7 @@ true :- true.
|
|||||||
|
|
||||||
'$init_globals' :-
|
'$init_globals' :-
|
||||||
'$init_consult',
|
'$init_consult',
|
||||||
|
nb_setval('$chr_toplevel_show_store',false),
|
||||||
nb_setval('$break',0),
|
nb_setval('$break',0),
|
||||||
% '$set_read_error_handler'(error), let the user do that
|
% '$set_read_error_handler'(error), let the user do that
|
||||||
nb_setval('$open_expands_filename',true),
|
nb_setval('$open_expands_filename',true),
|
||||||
|
Reference in New Issue
Block a user