From 2aaded261ecda883e5f8ac6afe31320c43fcdcf9 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 30 Jan 2014 23:02:19 -0800 Subject: [PATCH] fix(kernel/environment): imported predicate Signed-off-by: Leonardo de Moura --- src/kernel/environment.cpp | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/kernel/environment.cpp b/src/kernel/environment.cpp index d5cee66772..465f2ed43d 100644 --- a/src/kernel/environment.cpp +++ b/src/kernel/environment.cpp @@ -660,7 +660,12 @@ void environment_cell::load(std::string const & fname, io_state const & ios) { } bool environment_cell::imported(std::string const & n) const { - return already_imported(name(realpath(find_file(n, {".olean"}).c_str()))); + try { + return already_imported(name(realpath(find_file(n, {".olean"}).c_str()))); + } catch (...) { + // module named n does not even exist + return false; + } } environment_cell::environment_cell():