Emmanuel BENOîT f42df48a1b Don't reset the cache on pop if no deletion occurs ... When the stack is being pop'd, it is not necessary to reset it if no variable is either reset to its previous value or deleted.		2022-09-18 12:12:59 +02:00
..
reconstructed.py	Don't reset the cache on pop if no deletion occurs	2022-09-18 12:12:59 +02:00