give correct opts to absolute_file_name

2010-06-17 11:05:17 +01:00 · 2010-06-17 11:05:17 +01:00 · 4a5a74929c
parent 67ba23efdd
commit 4a5a74929c
1 changed files with 1 additions and 1 deletions
--- a/pl/modules.yap
+++ b/pl/modules.yap
@ -641,7 +641,7 @@ abolish_module(_).
 	;
 	 Goal =	reexport(ModuleSource,Spec)
 	),
-	absolute_file_name(ModuleSource, File),
+	absolute_file_name(ModuleSource, File, [access(read),file_type(source),file_errors(fail),solutions(first)]),
 	'$load_files'(File, [if(not_loaded),imports([])], Goal),
 	recorded('$module', '$module'(FullFile, Mod, Exports),_),
 	atom_concat(File, _, FullFile), !,