Fix use_module import errors
This commit is contained in:
@@ -503,7 +503,7 @@ open_file(Path, Stream) :-
|
|||||||
( atom_concat(_, '.pl', Path) ->
|
( atom_concat(_, '.pl', Path) ->
|
||||||
open(Path, read, Stream)
|
open(Path, read, Stream)
|
||||||
; catch(open(Path, read, Stream),
|
; catch(open(Path, read, Stream),
|
||||||
error(existence_error(source_sink, Path), _),
|
error(existence_error(source_sink, _), _),
|
||||||
( atom_concat(Path, '.pl', ExtendedPath),
|
( atom_concat(Path, '.pl', ExtendedPath),
|
||||||
open(ExtendedPath, read, Stream) )
|
open(ExtendedPath, read, Stream) )
|
||||||
)
|
)
|
||||||
|
|||||||
Reference in New Issue
Block a user