diff options
Diffstat (limited to 'Backend/File.hs')
| -rw-r--r-- | Backend/File.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Backend/File.hs b/Backend/File.hs index e3225a8b8..d09e09f56 100644 --- a/Backend/File.hs +++ b/Backend/File.hs @@ -172,7 +172,7 @@ checkKeyNumCopies key numcopies = do return False else return True where - note 0 _ = "** No known copies of the file exist!" + note 0 _ = "** No known copies of "++show key++" exist!" note present needed = "Only " ++ show present ++ " of " ++ show needed ++ " copies of "++show key++" exist. " ++ |