fix argv && os_argv
This commit is contained in:
parent
fca75670bc
commit
9cd2975532
@ -220,6 +220,7 @@ save_program(File, _Goal) :-
|
|||||||
'$x_yap_flag'(X, V) :-
|
'$x_yap_flag'(X, V) :-
|
||||||
yap_flag(X, V),
|
yap_flag(X, V),
|
||||||
X \= gc_margin, % different machines will have different needs,
|
X \= gc_margin, % different machines will have different needs,
|
||||||
|
X \= argv,
|
||||||
X \= os_argv,
|
X \= os_argv,
|
||||||
X \= language,
|
X \= language,
|
||||||
X \= max_threads,
|
X \= max_threads,
|
||||||
|
Reference in New Issue
Block a user