X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsys-file-reader.c;h=1a17eb89a1ac38a248b3c269f5ee9259c54c2f0d;hb=b078357653b9eebbba49a088c81c3dd935b58698;hp=b5fdfd7f206c798b8d9b0012dc1a28445507a445;hpb=a68ebf8f11b6d584de4188ec5284d12b23f69708;p=pspp

diff --git a/src/data/sys-file-reader.c b/src/data/sys-file-reader.c
index b5fdfd7f20..1a17eb89a1 100644
--- a/src/data/sys-file-reader.c
+++ b/src/data/sys-file-reader.c
@@ -493,10 +493,7 @@ read_record (struct sfm_reader *r, int type,
 
     case 6:
       if (r->document != NULL)
-        {
-          sys_error (r, r->pos, _("Duplicate type 6 (document) record."));
-          return false;
-        }
+        sys_warn (r, r->pos, _("Duplicate type 6 (document) record."));
       return read_document_record (r);
 
     case 7: