fix clash.
This commit is contained in:
parent
b454383e30
commit
8d9c5617eb
@ -42,8 +42,8 @@ check_dialect(Dialect) :-
|
|||||||
% :- endif.
|
% :- endif.
|
||||||
% ==
|
% ==
|
||||||
|
|
||||||
exists_source(Source) :-
|
%exists_source(Source) :-
|
||||||
exists_source(Source, _Path).
|
% exists_source(Source, _Path).
|
||||||
|
|
||||||
exists_source(Source, Path) :-
|
exists_source(Source, Path) :-
|
||||||
absolute_file_name(Source, Path,
|
absolute_file_name(Source, Path,
|
||||||
|
Reference in New Issue
Block a user