1 files changed, 2 insertions, 1 deletions
diff --git a/Src/params.c b/Src/params.c
index 183b4927c..5d2dee506 100644
--- a/Src/params.c
+++ b/Src/params.c
@@ -3611,7 +3611,8 @@ mod_export void
 endparamscope(void)
 {
     locallevel--;
-    saveandpophiststack(0); /* Pops anything from a higher locallevel */
+    /* This pops anything from a higher locallevel */
+    saveandpophiststack(0, HFILE_USE_OPTIONS);
     scanhashtable(paramtab, 0, 0, 0, scanendscope, 0);
 }