michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(library/module): expand 'failed to import' error message

Browse source 
see issue #448
This commit is contained in:
Leonardo de Moura 2015-02-27 08:00:30 -08:00
parent 2b65f02f6f
commit 7d827a14c9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/module.cpp
View file

@ -32,7 +32,7 @@ Author: Leonardo de Moura
namespace lean { namespace lean {
corrupted_file_exception::corrupted_file_exception(std::string const & fname): corrupted_file_exception::corrupted_file_exception(std::string const & fname):
exception(sstream() << "failed to import '" << fname << "', file is corrupted") { exception(sstream() << "failed to import '" << fname << "', file is corrupted, please regenerate the file from sources") {
} }
typedef pair<std::string, std::function<void(serializer &)>> writer; typedef pair<std::string, std::function<void(serializer &)>> writer;