From 7d827a14c9a978b63721cdef2367ce3a3dadcde2 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 27 Feb 2015 08:00:30 -0800
Subject: [PATCH] feat(library/module): expand 'failed to import' error message

see issue #448
---
 src/library/module.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/module.cpp b/src/library/module.cpp
index 0302ea9d6..94638728a 100644
--- a/src/library/module.cpp
+++ b/src/library/module.cpp
@@ -32,7 +32,7 @@ Author: Leonardo de Moura
 
 namespace lean {
 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;