diff options
Diffstat (limited to 'lib/system.ml')
| -rw-r--r-- | lib/system.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/system.ml b/lib/system.ml index b743df478..ae7784bf5 100644 --- a/lib/system.ml +++ b/lib/system.ml @@ -36,8 +36,8 @@ let all_subdirs root alias = traverse file newrel end with Unix_error (e,s1,s2) -> - Printf.printf "Error while scanning load path:\n %s: %s\n" - s2 (error_message e) + (Printf.printf "Warning while scanning load path:\n%s: %s\n" + s2 (error_message e); flush Pervasives.stdout) done with End_of_file -> closedir dirh |