diff --git a/src/lread.c b/src/lread.c
index 7fae8b7cf1b..19c211b096c 100644
--- a/src/lread.c
+++ b/src/lread.c
@@ -4017,6 +4017,7 @@ to load.  See also `load-dangerous-libraries'.  */);
   staticpro (&read_objects);
   read_objects = Qnil;
   staticpro (&seen_list);
+  seen_list = Qnil;
 
   Vloads_in_progress = Qnil;
   staticpro (&Vloads_in_progress);