From a194d05d333dfe3e1e91ca5451a733a173de9c93 Mon Sep 17 00:00:00 2001
From: Simone Rubino <daemo00@gmail.com>
Date: Thu, 29 Jun 2023 23:37:10 +0200
Subject: [PATCH] dev option needed for warning traceback

---
 Doc/library/devmode.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/library/devmode.rst b/Doc/library/devmode.rst
index 977735990ffe92..b2bad48a07e27e 100644
--- a/Doc/library/devmode.rst
+++ b/Doc/library/devmode.rst
@@ -198,7 +198,7 @@ descriptor" error when finalizing the file object:
 
 .. code-block:: shell-session
 
-    $ python script.py
+    $ python -X dev script.py
     import os
     script.py:10: ResourceWarning: unclosed file <_io.TextIOWrapper name='script.py' mode='r' encoding='UTF-8'>
       main()