1 files changed, 5 insertions, 0 deletions
diff --git a/src/global.h b/src/global.h
index 392b03a9..0c11e025 100644
--- a/src/global.h
+++ b/src/global.h
@@ -56,6 +56,11 @@ public:
   global_scope_t(char ** envp);
   ~global_scope_t();
 
+  void quick_close() {
+    if (! report_stack.empty())
+      report_stack.front().quick_close();
+  }
+
   virtual string description() {
     return _("global scope");
   }