Commit ab018b43 authored by Michael Hanus's avatar Michael Hanus
Browse files

Bug fix in existsFile and symlinks for Sicstus3

parent 23f86493
......@@ -361,7 +361,7 @@ fileSize(File,Size) :-
existsFile(File) :-
sicstus4
-> file_exists(File)
; file_exists(File), file_property(File,type(regular)).
; file_exists(File), \+ file_property(File,type(directory)).
% does a directory exist?
existsDirectory(Dir) :-
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment