use current version of library
This commit is contained in:
parent
0aadc24d20
commit
4af5713fd2
@ -1080,6 +1080,6 @@ user_defined_flag(Atom) :-
|
||||
|
||||
|
||||
'$expects_dialect'(swi) :-
|
||||
load_files(library(swi),[silent(true),if(not_loaded)]).
|
||||
load_files(library('dialect/swi'),[silent(true),if(not_loaded)]).
|
||||
'$expects_dialect'(yap).
|
||||
|
||||
|
Reference in New Issue
Block a user