diff --git a/lib/session.g b/lib/session.g
index 7abc3172fc..9dd308da4f 100644
--- a/lib/session.g
+++ b/lib/session.g
@@ -70,7 +70,9 @@ BindGlobal("POST_RESTORE", function()
             f();
         fi;
     od;
-    SESSION();
+    if not GAPInfo.CommandLineOptions.norepl then
+        SESSION();
+    fi;
     PROGRAM_CLEAN_UP();
 end);