fix bug in detecting tabling on (Paulo Moura).
This commit is contained in:
parent
916ca678ba
commit
2423407b37
@ -617,7 +617,7 @@ yap_flag(system_options,X) :-
|
|||||||
'$system_options'(readline) :-
|
'$system_options'(readline) :-
|
||||||
'$swi_current_prolog_flag'(readline, true).
|
'$swi_current_prolog_flag'(readline, true).
|
||||||
'$system_options'(tabling) :-
|
'$system_options'(tabling) :-
|
||||||
\+ '$undefined'('$c_table'(_,_), prolog).
|
\+ '$undefined'('$c_table'(_,_,_), prolog).
|
||||||
'$system_options'(threads) :-
|
'$system_options'(threads) :-
|
||||||
\+ '$no_threads'.
|
\+ '$no_threads'.
|
||||||
'$system_options'(wam_profiler) :-
|
'$system_options'(wam_profiler) :-
|
||||||
|
Reference in New Issue
Block a user